/usr/lib/python3/dist-packages/gtweak/gtksettings.py is in gnome-tweaks 3.28.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 | # Copyright (c) 2012 Cosimo Cecchi
# SPDX-License-Identifier: GPL-3.0+
# License-Filename: LICENSES/GPL-3.0
import os.path
import logging
from gi.repository import GLib
import gtweak.utils
SETTINGS_GROUP_NAME = "Settings"
LOG = logging.getLogger(__name__)
class GtkSettingsManager:
def __init__(self, version):
self._path = os.path.join(GLib.get_user_config_dir(),
"gtk-" + version,
"settings.ini")
os.makedirs(os.path.dirname(self._path), exist_ok=True)
def _get_keyfile(self):
keyfile = None
try:
keyfile = GLib.KeyFile()
keyfile.load_from_file(self._path, 0)
except MemoryError:
LOG.critical("You have an old PyGObject, no support fo KeyFiles", exc_info=True)
finally:
return keyfile
def get_integer(self, key):
keyfile = self._get_keyfile()
try:
result = keyfile.get_integer(SETTINGS_GROUP_NAME, key)
except:
result = 0
return result
def set_integer(self, key, value):
keyfile = self._get_keyfile()
keyfile.set_integer(SETTINGS_GROUP_NAME, key, value)
try:
data = keyfile.to_data()
GLib.file_set_contents(self._path, data[0].encode())
except:
raise
|