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

Extra options modal: Add hotkeys to switch between shell commands #243

Closed
Taitava opened this issue Jul 20, 2022 Discussed in #130 · 1 comment
Closed

Extra options modal: Add hotkeys to switch between shell commands #243

Taitava opened this issue Jul 20, 2022 Discussed in #130 · 1 comment
Labels
enhancement New feature or improving change
Milestone

Comments

@Taitava
Copy link
Owner

Taitava commented Jul 20, 2022

Discussed in #130

Hotkeys: Ctrl/Cmd + Up/Down

@Taitava Taitava added this to the 0.14.0 milestone Jul 20, 2022
@Taitava Taitava added the enhancement New feature or improving change label Jul 20, 2022
Taitava added a commit that referenced this issue Jul 20, 2022
…sTab.

The mistake was made in commit 0dc54b2 / #76 when moving the logic to a separate file/function.

The mistake did not cause any problems in practise, because nothing actually used the reference. #243 needs to use it, so that's why I fixed it while doing #243.

I don't understand why TypeScript compiler does not yell about this kind of mistakes. When 'this' refers to a function, it's a completely different thing than a specific class 'SC_MainSettingsTab'.
Taitava added a commit that referenced this issue Jul 20, 2022
This move prepares for #243 that needs to access data from createTabs() in tab_button_clicked().
@Taitava
Copy link
Owner Author

Taitava commented Jul 20, 2022

Done, will be released in 0.14.0.

Taitava added a commit that referenced this issue Jul 20, 2022
Taitava added a commit that referenced this issue Jul 22, 2022
# Conflicts:
#	src/settings/ExtraOptionsModal.ts
#	src/settings/setting_elements/Tabs.ts
@Taitava Taitava closed this as completed Jul 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or improving change
Projects
None yet
Development

No branches or pull requests

1 participant