One Hat Cyber Team
Your IP :
216.73.216.135
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
backup
/
dad
/
usr
/
share
/
glib-2.0
/
schemas
/
Edit File:
org.gnome.gedit.plugins.externaltools.gschema.xml
<schemalist gettext-domain="gedit"> <schema id="org.gnome.gedit.plugins.externaltools" path="/org/gnome/gedit/plugins/externaltools/"> <key name="use-system-font" type="b"> <default>true</default> <summary>Whether to use the system font</summary> <description> If true, the external tools 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>
Simpan