|
16.
|
|
|
ID
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gterminal.vala:102
|
|
85.
|
|
|
Whether to allow bold text
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:31
|
|
86.
|
|
|
If true, allow applications in the terminal to make text boldface.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:32
|
|
89.
|
|
|
Whether to show menubar in new windows/tabs
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:33
|
|
130.
|
|
|
Keyboard shortcut to create a new profile
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:70
|
|
163.
|
|
|
Normally you can access the menubar with F10. This can also be customized via gtkrc (gtk-menu-bar-accel = "whatever"). This option allows the standard menubar accelerator to be disabled.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:674
|
|
179.
|
|
|
Show _menubar by default in new terminals
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/preferences.ui.h:9
|
|
235.
|
|
|
_Allow bold text
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/profile-preferences.ui.h:56
|