diff options
| author | Juhani Krekelä | 2021-07-24 19:15:13 +0300 |
|---|---|---|
| committer | Wolfgang Müller | 2021-11-27 14:05:19 +0100 |
| commit | a9706ec27edc0aef03f72daba28647aca1c42070 (patch) | |
| tree | a6589cc410f91fb45e1093423fde9170de43e83f /terminal.ui | |
| parent | 78e1e14fa676a6c995d9dc61ad038a9906f37bf7 (diff) | |
| download | weltschmerz-a9706ec27edc0aef03f72daba28647aca1c42070.tar.gz | |
Add ability to specify additional URI handlers
This commit adds a new section, open-with, to the configuration file.
The options specified there will be added as "Open with …" menu items in
the URI context menu. This is to make it easier to perform other actions
on the URI than opening it in the system default browser; a user might
for example add another browser, media player, or a script that
preprocesses the URI before opening it.
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> |