Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

多次双击文件名会打开多个文件编辑 tab，已打开的文件不应被多次打开，应定位到已打开的 tab #222

Closed
rikkizhu opened this issue Jul 19, 2017 · 2 comments
Closed

多次双击文件名会打开多个文件编辑 tab，已打开的文件不应被多次打开，应定位到已打开的 tab #222

rikkizhu opened this issue Jul 19, 2017 · 2 comments
Assignees
@hackape @rikkizhu
Milestone
v0.14.0

Comments

@rikkizhu
Copy link

image
@rikkizhu rikkizhu added this to the v0.14.0 milestone Jul 26, 2017
@rikkizhu rikkizhu mentioned this issue Jul 26, 2017
Closed
@hackape
Copy link
Contributor

hackape commented Aug 4, 2017

track #259

hackape added a commit to coding/WebIDE-Frontend that referenced this issue Aug 16, 2017
@hackape
do not open new tab of same file when one is opened already.
010057b 
address coding/WebIDE#222
@hackape hackape mentioned this issue Aug 16, 2017
Merged
@rikkizhu rikkizhu self-assigned this Aug 17, 2017
@rikkizhu rikkizhu modified the milestone: v0.14.0 Aug 17, 2017
@rikkizhu
Copy link
Author

fixed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hackape hackape

@rikkizhu rikkizhu

Labels
None yet
Projects
None yet
Milestone
v0.14.0
Development

No branches or pull requests
2 participants
@hackape @rikkizhu