tab_prefsother.py

   1 #!/usr/bin/env python
   2 # -*- coding: utf-8 -*-
   3
   4 # Project: J-Ben, Python front-end
   5 # File: tab_prefsother.py
   6 # Author: Paul Goins
   7 # Created on: 28 Nov 2008
   8
   9 import gtk
  10 import os
  11
  12 class TabPrefsOther(gtk.VBox):
  13     def __init__(self):
  14         gtk.VBox.__init__(self, spacing = 5)
  15
  16
  17         # Not sure what the os.name is under windows; the below is temporary.
  18         if os.name == "nt":
  19             # Windows only: "mobile mode"
  20             self.chkMobile = gtk.CheckButton(
  21                 _("Mobile mode (settings saved to current directory)"))
  22             self.chkMobile.connect("toggled", self.on_mobile_toggle)
  23             self.pack_start(self.chkMobile, expand = False)
  24
  25     def on_mobile_toggle(self, widget):
  26         print("TabPrefsOther.on_mobile_toggle")
  27
  28     def update_prefs(self):
  29         pass
  30
  31 #
  32 #       /* Other Options */
  33 #       chkMobile.set_active(prefs->GetSetting("config_save_target") == "mobile");
  34 #}