8 |
from cPickle import load |
from cPickle import load |
9 |
from config import * |
from config import * |
10 |
from server import * |
from server import * |
11 |
|
import os |
12 |
import gettext |
import gettext |
13 |
gettext.bindtextdomain("fgtk") |
gettext.bindtextdomain("fgtk") |
14 |
gettext.textdomain("fgtk") |
gettext.textdomain("fgtk") |
15 |
_ = gettext.gettext |
_ = gettext.gettext |
16 |
|
|
17 |
prefsfile = ".fgtk" |
prefsfile = os.path.join(os.environ["HOME"], ".fgtk") |
18 |
|
|
19 |
class EditPref(Frame): |
class EditPref(Frame): |
20 |
def __init__(self, master): |
def __init__(self, master): |