← Back to branch summary

~sinzui/gedit-class-browser/buildable

« back to all changes in this revision

Viewing changes to classbrowser/options.py

  • Committer: fredericback
  • Date: 2007-11-11 20:07:01 UTC
  • Revision ID: svn-v4:c41c4367-7422-0410-acad-89ad0d30c555:trunk:41
* Patch by Steve: Make spacings in options dialogue more gnome-y.

Show diffs side-by-side

added added

removed removed

Lines of Context:
classbrowser/options.py
86
86
        win = gtk.Window()
87
87
        win.connect("delete-event",lambda w,e: w.destroy())
88
88
        win.set_title("Preferences")
 
89
        win.set_border_width(6)
89
90
        vbox = gtk.VBox() 
90
91
 
91
92
        #--------------------------------  
94
95
        notebook.set_border_width(6)
95
96
        vbox.pack_start(notebook)
96
97
 
97
 
        vbox2 = gtk.VBox()
98
 
        vbox2.set_border_width(6) 
 
98
        vbox2 = gtk.VBox(spacing=6)
 
99
        vbox2.set_border_width(6)
99
100
 
100
101
        box = gtk.HBox()
101
102
        verbose = gtk.CheckButton("show debug information")
118
119
        notebook.append_page(vbox2,gtk.Label("General"))
119
120
 
120
121
        #--------------------------------       
121
 
        vbox2 = gtk.VBox()
 
122
        vbox2 = gtk.VBox(spacing=6)
122
123
        vbox2.set_border_width(6)
123
124
 
124
125
        button = {}
125
126
        for i in self.colours:
126
 
            box = gtk.HBox()
 
127
            box = gtk.HBox(spacing=6)
127
128
            button[i] = gtk.ColorButton()
128
129
            button[i].set_color(self.colours[i])
129
 
            box.pack_start(button[i],False)
130
 
            box.pack_start(gtk.Label(i),False,False,6)
 
130
            box.pack_end(button[i],False)
 
131
            box.pack_start(gtk.Label(i.capitalize() + " :"), False, False, 6)
131
132
            vbox2.pack_start(box)
132
133
 
133
134
        notebook.append_page(vbox2,gtk.Label("Colours"))
154
155
            self.emit("options-changed")
155
156
            win.destroy()
156
157
 
157
 
        box = gtk.HBox()
 
158
        box = gtk.HButtonBox()
 
159
        box.set_spacing(6)
 
160
        box.set_border_width(6)
 
161
        box.set_layout(gtk.BUTTONBOX_END)
 
162
        b = gtk.Button(None,gtk.STOCK_CANCEL)
 
163
        b.connect("clicked",lambda w,win: win.destroy(),win)
 
164
        box.add(b)
158
165
        b = gtk.Button(None,gtk.STOCK_OK)
159
166
        b.connect("clicked",setValues)
160
 
        box.pack_end(b,False)
161
 
        b = gtk.Button(None,gtk.STOCK_CANCEL)
162
 
        b.connect("clicked",lambda w,win: win.destroy(),win)
163
 
        box.pack_end(b,False)
 
167
        box.add(b)
164
168
        vbox.pack_start(box,False)
165
169
 
166
170
        win.add(vbox)