diff options
Diffstat (limited to 'src/gtkgui_helpers.py')
| -rw-r--r-- | src/gtkgui_helpers.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gtkgui_helpers.py b/src/gtkgui_helpers.py index 4cdef98fb..f83e22882 100644 --- a/src/gtkgui_helpers.py +++ b/src/gtkgui_helpers.py @@ -157,7 +157,7 @@ def get_default_font(): if os.path.exists(xfce_config_file): try: - for line in file(xfce_config_file): + for line in open(xfce_config_file): if line.find('name="Gtk/FontName"') != -1: start = line.find('value="') + 7 return line[start:line.find('"', start)].decode('utf-8') @@ -167,7 +167,7 @@ def get_default_font(): elif os.path.exists(kde_config_file): try: - for line in file(kde_config_file): + for line in open(kde_config_file): if line.find('font=') == 0: # font=Verdana,9,other_numbers start = 5 # 5 is len('font=') line = line[start:] |