Skip to content
This repository has been archived by the owner on Oct 13, 2021. It is now read-only.

[Bug] Renaming or moving an open file #114

Open
miovd opened this issue Nov 9, 2018 · 1 comment
Open

[Bug] Renaming or moving an open file #114

miovd opened this issue Nov 9, 2018 · 1 comment
Assignees
@miovd
Labels
bug Something isn't working

Comments

@miovd
Copy link
Contributor

miovd commented Nov 9, 2018 •
edited
Loading

Changing the name of an open file (by renaming it or moving it) should change the name of the tab. In current state, the name of the tab does not change.
@miovd miovd self-assigned this Nov 9, 2018
@miovd miovd changed the title Renaming an open file Renaming or move an open file Nov 9, 2018
@miovd miovd changed the title Renaming or move an open file Renaming or moving an open file Nov 9, 2018
@miovd miovd assigned miovd and unassigned miovd Nov 9, 2018
@mathbagu mathbagu added the bug Something isn't working label Nov 9, 2018
@miovd miovd mentioned this issue Nov 13, 2018
Merged
@miovd miovd changed the title Renaming or moving an open file [Bug] Renaming or moving an open file Nov 13, 2018
@miovd
Copy link
Contributor Author

miovd commented Nov 15, 2018

The bug while moving a file seems to depend on #57 and will not be handled before the latter.

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

@miovd miovd

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@miovd @mathbagu