-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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.
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
[monaco] missing "toggle minimap" command #5500
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
monaco
issues related to monaco
Comments
akosyakov
changed the title
[core] missing "toggle minimap" command
[monaco] missing "toggle minimap" command
Jun 17, 2019
akosyakov
added
enhancement
issues that are enhancements to current functionality - nice to haves
monaco
issues related to monaco
labels
Jun 17, 2019
The way it works in VSCode is to have a command which updates the |
fangnx
pushed a commit
to fangnx/theia
that referenced
this issue
Jul 3, 2019
Signed-off-by: fangnx <[email protected]>
fangnx
pushed a commit
to fangnx/theia
that referenced
this issue
Jul 3, 2019
Signed-off-by: fangnx <[email protected]>
fangnx
pushed a commit
to fangnx/theia
that referenced
this issue
Jul 3, 2019
- Implemented the "Toggle Minimap" command in the command pallete. Signed-off-by: fangnx <[email protected]>
fangnx
pushed a commit
to fangnx/theia
that referenced
this issue
Jul 3, 2019
- Implemented the "Toggle Minimap" command in the command pallete. Signed-off-by: fangnx <[email protected]>
fangnx
pushed a commit
to fangnx/theia
that referenced
this issue
Jul 5, 2019
- Implemented the "Toggle Minimap" command in the command pallete. Signed-off-by: fangnx <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
monaco
issues related to monaco
We should add the "Toggle Minimap" command to the top bar menu and the quick-open.
The text was updated successfully, but these errors were encountered: