diff options
Diffstat (limited to 'terminal.ui')
| -rw-r--r-- | terminal.ui | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/terminal.ui b/terminal.ui index 57e4ad9..6d5d206 100644 --- a/terminal.ui +++ b/terminal.ui @@ -24,6 +24,11 @@ <signal name="activate" handler="uri_copy" swapped="no"/> </object> </child> + <child> + <object class="GtkSeparatorMenuItem" id="open_with_separator"> + <property name="can-focus">False</property> + </object> + </child> </object> <object class="GtkImage" id="open_directory_item_image"> <property name="visible">True</property> |