| Server IP : 185.11.201.71 / Your IP : 192.168.7.18 Web Server : Apache/2.4.29 (Ubuntu) System : Linux tech-virtual-machine 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023 x86_64 User : tech ( 1000) PHP Version : 7.4.28 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/share/glib-2.0/schemas/ |
Upload File : |
<schemalist>
<schema gettext-domain="gedit" id="org.gnome.gedit.plugins.pythonconsole" path="/org/gnome/gedit/plugins/pythonconsole/">
<key name="command-color" type="s">
<default>'#314e6c'</default>
<summary>Command Color Text</summary>
<description>The command color text</description>
</key>
<key name="error-color" type="s">
<default>'#990000'</default>
<summary>Error Color Text</summary>
<description>The error color text</description>
</key>
<key name="use-system-font" type="b">
<default>true</default>
<summary>Whether to use the system font</summary>
<description>
If true, the terminal will use the desktop-global standard
font if it’s monospace (and the most similar font it can
come up with otherwise).
</description>
</key>
<key name="font" type="s">
<default>'Monospace 10'</default>
<summary>Font</summary>
<description>
A Pango font name. Examples are “Sans 12” or “Monospace Bold 14”.
</description>
</key>
</schema>
</schemalist>