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

Checkbox "in methods" in Preferences/General cannot be toggled #636

Closed
aplteam opened this issue Jan 14, 2021 · 3 comments
Closed

Checkbox "in methods" in Preferences/General cannot be toggled #636

aplteam opened this issue Jan 14, 2021 · 3 comments
Labels

Comments

@aplteam
Copy link

aplteam commented Jan 14, 2021

Describe the issue you are having

When I open the Preferences dialog and then click the "in methods" checkbox it does not toggle its state.

Once I press Alt+m in order to toggle it via the keyboard I can toggle it with the mouse as well.

Did you connect to an already running interpreter or start the interpreter from RIDE?

n/a

How do you reproduce the issue?

See above

Paste the contents of Help → About (Shift+F1)

IDE:
  Version: 4.3.3463
  Platform: Linux x86_64
  Date: 2020-07-07 10:44:21 +0100
  Git commit: 0cd6e9faf39a5d6a5f5caa94d1ff51743d5cdd75
  Preferences:{
    "kbdLocale":"en_US"
  }

Interpreter:
  Version: unknown
  Platform: unknown
  Edition: unknown
  Date: unknown
@aplteam aplteam changed the title Checkbox "in methods" in Preferences/Genral cannot be toggled Checkbox "in methods" in Preferences/General cannot be toggled Jan 14, 2021
@aplteam
Copy link
Author

aplteam commented Jan 14, 2021

The "Autoindent" and the "Indent lines..." checkboxes suffer from the same problem.

@e9gille
Copy link
Contributor

e9gille commented Feb 22, 2021

Well, disabled checkboxes shouldn't allow you to toggle them, so the fact that the keyboard shortcut allowed you is a bug.

I'll leave this issue open as it highlights a UX issue, but will need to ponder the solution.

@abrudz
Copy link
Member

abrudz commented Jun 6, 2023

Seems fixed in 4.5.3748

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants