New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Minor improvement of menu item options #552

Merged

JoC0de merged 1 commit into master from menu-item-improvement

Aug 6, 2023

Collaborator

popara96 commented Aug 4, 2023

Added separate 'Preferences' menu item and set 'Version' option to redirect to the currently installed release page


          Added separate 'Preferences' menu item and set 'Version' option to re…

eee239c

…direct to the currently installed release page

popara96 requested review from igor84 and JoC0de

August 4, 2023 13:36

JoC0de approved these changes

View reviewed changes

Collaborator

JoC0de left a comment

👍 Good idea i also found it strange that the version opens the preferences.

igor84 approved these changes

View reviewed changes

JoC0de merged commit 774278f into master

JoC0de deleted the menu-item-improvement branch

August 6, 2023 13:58

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet