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

Added JoinLines plugin. Removed logic to split lines. Moved Join Line shortcut from Layout to Editing section.

Browse Source
This commit is contained in:
icarter09
2020-03-29 14:20:57 -04:00
committed by Michael Webster
parent 2bb61b9190
commit 385d32dbfc
5 changed files with 125 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
xed/resources/ui/xed-shortcuts.ui
View File

@@ -7,7 +7,7 @@
<object class="GtkShortcutsSection">
<property name="visible">1</property>
<property name="section-name">shortcuts</property>
<property name="max-height">14</property>
<property name="max-height">15</property>
<child>
<object class="GtkShortcutsGroup">
<property name="visible">1</property>
@@ -354,6 +354,13 @@
<property name="title" translatable="yes">Toggle comment</property>
</object>
</child>
<child>
<object class="GtkShortcutsShortcut">
<property name="visible">1</property>
<property name="accelerator">&lt;ctrl&gt;J</property>
<property name="title" translatable="yes">Join Lines</property>
</object>
</child>
</object>
</child>
</object>