tab_prefsfonts.py

   1 #!/usr/bin/env python
   2 # -*- coding: utf-8 -*-
   3
   4 # Project: J-Ben, Python front-end
   5 # File: tab_prefsfonts.py
   6 # Author: Paul Goins
   7 # Created on: 28 Nov 2008
   8
   9 import gtk
  10
  11 class TabPrefsFonts(gtk.VBox):
  12     def __init__(self):
  13         gtk.VBox.__init__(self, spacing = 5)
  14
  15         # We're loading 4 rows of GUI controls, all following the same
  16         # order: 0 = Japanese Normal, 1 = Japanese Large,
  17         # 2 = English Normal, 3 = English Small.
  18
  19         labels = []
  20         labels.append(gtk.Label(_("Japanese Font, Normal")))
  21         labels.append(gtk.Label(_("Japanese Font, Large")))
  22         labels.append(gtk.Label(_("English Font, Normal")))
  23         labels.append(gtk.Label(_("English Font, Small")))
  24         for l in labels:
  25             l.set_alignment(1.0, 0.5)
  26
  27         self.JaNormalDisp = gtk.TextView()
  28         self.JaLargeDisp  = gtk.TextView()
  29         self.EnNormalDisp = gtk.TextView()
  30         self.EnSmallDisp  = gtk.TextView()
  31         displays = []
  32         displays.append(self.JaNormalDisp)
  33         displays.append(self.JaLargeDisp)
  34         displays.append(self.EnNormalDisp)
  35         displays.append(self.EnSmallDisp)
  36         for d in displays:
  37             d.set_accepts_tab(False)
  38             d.set_editable(False)
  39         frames = []
  40         for i in range(4):
  41             frames.append(gtk.Frame())
  42             frames[i].add(displays[i])
  43             frames[i].set_shadow_type(gtk.SHADOW_IN)
  44
  45         self.btnJaNormal = gtk.Button(_("Change..."))
  46         self.btnJaLarge  = gtk.Button(_("Change..."))
  47         self.btnEnNormal = gtk.Button(_("Change..."))
  48         self.btnEnSmall  = gtk.Button(_("Change..."))
  49         buttons = []
  50         buttons.append(self.btnJaNormal)
  51         buttons.append(self.btnJaLarge)
  52         buttons.append(self.btnEnNormal)
  53         buttons.append(self.btnEnSmall)
  54         for b in buttons:
  55             b.connect("clicked", self.on_font_change)
  56         bboxes = []
  57         for i in range(4):
  58             bboxes.append(gtk.HButtonBox())
  59             bboxes[i].pack_start(buttons[i])
  60
  61         table = gtk.Table(4, 3)
  62         for i in range(4):
  63             table.attach(labels[i], 0, 1, i, i + 1,
  64                          gtk.FILL, gtk.SHRINK, 5, 5)
  65             table.attach(frames[i], 1, 2, i, i + 1,
  66                          gtk.FILL | gtk.EXPAND, gtk.SHRINK, 5, 5)
  67             table.attach(bboxes[i], 2, 3, i, i + 1,
  68                          gtk.SHRINK, gtk.SHRINK, 5, 5)
  69
  70         self.pack_start(table, expand = False);
  71
  72     def on_font_change(self, widget):
  73         print("TabPrefsFonts.on_font_change")