From 140ec80b9b31e9b0d58238d348af59cb39769468 Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Mon, 29 Mar 2004 11:21:15 +0000 Subject: [PATCH] hide leading dot hidden directory --- plugins/gtkgui/gtkgui.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/gtkgui/gtkgui.py b/plugins/gtkgui/gtkgui.py index 5e614ab9a..dd2235d40 100644 --- a/plugins/gtkgui/gtkgui.py +++ b/plugins/gtkgui/gtkgui.py @@ -439,7 +439,7 @@ class preference_Window: list_style = os.listdir('plugins/gtkgui/icons/') l = [] for i in list_style: - if i != 'CVS': + if i != 'CVS' and i[0] != '.': l.append(i) if l.count == 0: l.append(" ")