Skip to content

Change the menu items for side pane and address bar to radio menu items

Manuel Grießmayr requested to merge (removed):convert_menu_items into master

The following menu items have been changed to radio menu items:

Side pane:

  • tree pane
  • shortcuts pane

Address bar:

  • buttons style
  • text style

Merge request reports