Skip to content

Releases: arunk140/gnome-command-menu

Alpha - 7.0.0

19 Nov 06:04
Compare
Choose a tag to compare
Alpha - 7.0.0 Pre-release
Pre-release

Added Settings Panel - with Visibility Toggles for Edit and Reload Buttons in the Menu (Enabled by Default)

#7

Release - 6.0.0

18 Nov 23:21
13c0b05
Compare
Choose a tag to compare
  • Updated Metadata to Support Gnome 43
  • #9

Release - 5.0.0

14 Jun 10:51
Compare
Choose a tag to compare

Added Options for Customizing the Main Menu Icon and Text.
See examples/.commands-full.json

Release - 4.0.0

17 Apr 03:47
b886848
Compare
Choose a tag to compare

Changes for GNOME 42

Full Changelog: 3.0.0...4.0.0-a

Release - 3.0.0

05 Mar 09:39
Compare
Choose a tag to compare
Renamed Variable "myPopup" causing issues

Release - 2.0.0

25 Feb 09:31
Compare
Choose a tag to compare

Changes made according to the following Review -

  • Text Editor now opens using Gio.AppInfo.launch_default_for_uri for editing Commands Config
  • Updated Disable function

JustPerfection posted a review on February 25, 2022:

  1. Rejected because you shouldn't use spawn command for what you can do in gjs:
    https://gjs.guide/extensions/review-guidelines/review-guidelines.html#scripts-and-binaries
    use Gio.AppInfo.launch_default_for_uri() instead:
    https://gjs-docs.gnome.org/gio20~2.66p/gio.appinfo#function-launch_default_for_uri

  2. Also do these on disable:

    myPopup = null;
    commands = [];

Release - 1.0.0

24 Feb 15:15
Compare
Choose a tag to compare

Initial Release of the Shell Extension for Gnome.