mirror of
https://gitlab.gnome.org/GNOME/gimp
synced 2024-10-18 22:03:53 +00:00
7655dd727b
Currently, the error console is highlighted (shown/blinked) only upon errors; however, warnings, which are not shown on the statusbar while the error console is open, often also contain important information. Allow the user to configure which message types (errors, warnings, and regular messages) highlight the error console, using a new "highlight" submenu in the error-console menu. Add corresponding config options, saved in sessionrc. By default, highlight the error console unpon both errors and warnings.
19 lines
609 B
XML
19 lines
609 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">
|
|
|
|
<ui>
|
|
<popup action="error-console-popup">
|
|
<menuitem action="error-console-clear" />
|
|
<menuitem action="error-console-select-all" />
|
|
<separator />
|
|
<menuitem action="error-console-save-all" />
|
|
<menuitem action="error-console-save-selection" />
|
|
<separator />
|
|
<menu action="error-console-highlight">
|
|
<menuitem action="error-console-highlight-error" />
|
|
<menuitem action="error-console-highlight-warning" />
|
|
<menuitem action="error-console-highlight-info" />
|
|
</menu>
|
|
</popup>
|
|
</ui>
|