| 878 | # Space for fonts |
---|
| 879 | main_menu.addmenuitem(Pre_name, 'command', 'Change def Font', |
---|
| 880 | label = "Change VCDAT's Default Font", |
---|
| 881 | command = gui_control.Command(self.evt_change_font, parent) |
---|
| 882 | ) |
---|
| 883 | main_menu.addmenuitem(Pre_name, 'command', 'Add a Font', |
---|
| 884 | label = 'Add a font', |
---|
| 885 | command = gui_control.Command(self.evt_add_font, parent) |
---|
| 886 | ) |
---|
| 887 | |
---|
| 888 | main_menu.addmenuitem(Pre_name, 'separator') |
---|
| 1256 | |
---|
| 1257 | |
---|
| 1258 | def setdefaultfont(self,parent,name,dialog): |
---|
| 1259 | parent.vcs[ parent.vcs_id ].setdefaultfont(name) |
---|
| 1260 | dialog.destroy() |
---|
| 1261 | |
---|
| 1262 | def evt_change_font(self,parent): |
---|
| 1263 | dialog = Pmw.Dialog(parent, |
---|
| 1264 | title = "Changing VCDAT's Default Font", |
---|
| 1265 | buttons = ('OK',), |
---|
| 1266 | ) |
---|
| 1267 | f1 = Tkinter.Frame(dialog.interior()) |
---|
| 1268 | f1.pack(side='left',expand=1,fill='both') |
---|
| 1269 | f2 = Tkinter.Frame(dialog.interior()) |
---|
| 1270 | f2.pack(side='left',expand=1,fill='both') |
---|
| 1271 | fonts = parent.vcs[ parent.vcs_id ].listelements("font") |
---|
| 1272 | nfonts = len(fonts) |
---|
| 1273 | for i in range(nfonts): |
---|
| 1274 | if i%2: # right one |
---|
| 1275 | b = Tkinter.Button(f2,text=fonts[i],command = gui_control.Command(self.setdefaultfont,parent,fonts[i],dialog)) |
---|
| 1276 | else: |
---|
| 1277 | b = Tkinter.Button(f1,text=fonts[i],command = gui_control.Command(self.setdefaultfont,parent,fonts[i],dialog)) |
---|
| 1278 | b.pack(side='top',fill='x',expand=1) |
---|
| 1279 | dialog.transient( parent ) # Keep widget on top of its parent |
---|
| 1280 | dialog.activate() |
---|
| 1281 | |
---|
| 1282 | def evt_add_font(self,parent): |
---|
| 1283 | datatypes = [ |
---|
| 1284 | ("Search for Font files", "*.ttf","*.TTF",), |
---|
| 1285 | ("All files", "*") |
---|
| 1286 | ] |
---|
| 1287 | dialog_icon = tkFileDialog.Open(master=parent, |
---|
| 1288 | filetypes=datatypes, title = 'File Select') |
---|
| 1289 | font=dialog_icon.show(initialdir=os.getcwd()) |
---|
| 1290 | parent.vcs[ parent.vcs_id ].addfont(font) |
---|
| 1291 | |
---|