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.

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

FileExplorer enabled setting is never set to False #2719

Open
JFoederer opened this issue Feb 14, 2024 · 1 comment
Open

FileExplorer enabled setting is never set to False #2719

JFoederer opened this issue Feb 14, 2024 · 1 comment
Labels
enhancement Request for improvement: either for an existing feature or a new one fixed Issues that have been fixed and can be closed already
Milestone

Comments

@JFoederer
Copy link
Collaborator

JFoederer commented Feb 14, 2024

By default the File Explorer is opened, which is also stored in the settings.cfg file. Unless this file edited manually there is no way to persist the opened setting at value False. I would expect that if the File Explorer is closed using the cross on the panel or by toggling it from the View menu, that this choice is remembered.

@JFoederer JFoederer added the bug Malfunctions that should be fixed to comply with the expected behavior label Feb 14, 2024
@HelioGuilherme66 HelioGuilherme66 added enhancement Request for improvement: either for an existing feature or a new one and removed bug Malfunctions that should be fixed to comply with the expected behavior labels Mar 25, 2024
@HelioGuilherme66
Copy link
Member

The File Explorer is a Plugin, and the Enable state stored in settings.cfg is the Plugin state. If we Disable the Plugin, then the Menu option is removed.

The toggle idea, to Show/Hide the File Explorer (and maybe the Project Explorer) and persist this state, is a good idea.

@HelioGuilherme66 HelioGuilherme66 added the fixed Issues that have been fixed and can be closed already label Apr 16, 2024
@HelioGuilherme66 HelioGuilherme66 added this to the v2.1 milestone Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Request for improvement: either for an existing feature or a new one fixed Issues that have been fixed and can be closed already
Projects
None yet
Development

No branches or pull requests

2 participants