Skip to content

Focus already open document on reopen#80

Merged
keith merged 1 commit intomasterfrom
ks/document-reopen
Jun 23, 2017
Merged

Focus already open document on reopen#80
keith merged 1 commit intomasterfrom
ks/document-reopen

Conversation

@keith
Copy link
Copy Markdown
Member

@keith keith commented Jun 23, 2017

Previously you could open a .brisk file multiple times. Now if that
file is already open, we focus the window(s) instead.

@keith
Copy link
Copy Markdown
Member Author

keith commented Jun 23, 2017

Fixes #48

@keith keith force-pushed the ks/document-reopen branch from 2cc0478 to 3450977 Compare June 23, 2017 09:07
Previously you could open a `.brisk` file multiple times. Now if that
file is already open, we focus the window(s) instead.
@keith keith force-pushed the ks/document-reopen branch from 3450977 to 04a33ec Compare June 23, 2017 09:09
@keith keith merged commit b8322b2 into master Jun 23, 2017
@keith keith deleted the ks/document-reopen branch June 23, 2017 09:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants