wp/xed
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Use highlight dialog instead submenu in "View" menu.

Browse Source
This commit is contained in:
Tomasz Gąsior
2018-07-21 22:34:26 +02:00
parent d4de361efb
commit bc381189c7
6 changed files with 46 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
xed/resources/ui/xed-ui.xml
View File

@@ -60,10 +60,7 @@
<separator/>
<placeholder name="ViewOps_1" />
<separator/>
<menu name="ViewHighlightModeMenu" action="ViewHighlightMode">
<placeholder name="LanguagesMenuPlaceholder">
</placeholder>
</menu>
<menuitem name="ViewHighlightModeMenu" action="ViewHighlightMode"/>
</menu>
<menu name="SearchMenu" action="Search">