diff options
| author | Ryan Dwyer <ryandwyer1@gmail.com> | 2018-05-25 22:26:13 +1000 |
|---|---|---|
| committer | Ryan Dwyer <ryandwyer1@gmail.com> | 2018-05-25 22:28:01 +1000 |
| commit | f32a00240143d8696705ba626acd58c581523bbf (patch) | |
| tree | 4d7af27dd7db578645c409599b0291317fe7831d /.gitignore | |
| parent | 3c77f066a532efd3df0f2072d02fa4353b4a4511 (diff) | |
Switch workspace if required when mapping a view
If a view is created on a workspace that wasn't visible, switch to it.
Fixes #1879.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions