60 splash=wx.SplashScreen(bmp,wx.SPLASH_CENTRE_ON_SCREEN, 1000, None) |
60 splash=wx.SplashScreen(bmp,wx.SPLASH_CENTRE_ON_SCREEN, 1000, None) |
61 wx.Yield() |
61 wx.Yield() |
62 |
62 |
63 import wx.lib.buttons, wx.lib.statbmp , wx.html |
63 import wx.lib.buttons, wx.lib.statbmp , wx.html |
64 import types, time, re, platform, time, traceback, commands |
64 import types, time, re, platform, time, traceback, commands |
|
65 import docclass.docpdf |
65 |
66 |
66 from plugger import PluginsRoot |
67 from plugger import PluginsRoot |
|
68 |
67 base_folder = os.path.split(sys.path[0])[0] |
69 base_folder = os.path.split(sys.path[0])[0] |
68 CanFestivalPath = os.path.join(base_folder, "CanFestival-3") |
70 CanFestivalPath = os.path.join(base_folder, "CanFestival-3") |
69 sys.path.append(os.path.join(CanFestivalPath, "objdictgen")) |
71 sys.path.append(os.path.join(CanFestivalPath, "objdictgen")) |
70 from objdictedit import * |
72 from objdictedit import * |
71 from doc_index.DS301_index import * |
73 |
72 |
74 |
73 SCROLLBAR_UNIT = 10 |
75 SCROLLBAR_UNIT = 10 |
74 WINDOW_COLOUR = wx.Colour(240,240,240) |
76 WINDOW_COLOUR = wx.Colour(240,240,240) |
75 TITLE_COLOUR = wx.Colour(200,200,220) |
77 TITLE_COLOUR = wx.Colour(200,200,220) |
76 CHANGED_TITLE_COLOUR = wx.Colour(220,200,220) |
78 CHANGED_TITLE_COLOUR = wx.Colour(220,200,220) |
1201 |
1203 |
1202 def OnSaveLogMenu(self, event): |
1204 def OnSaveLogMenu(self, event): |
1203 event.Skip() |
1205 event.Skip() |
1204 |
1206 |
1205 def OnBeremizMenu(self, event): |
1207 def OnBeremizMenu(self, event): |
|
1208 docclass.docpdf.open_pdf(os.path.join(CWD, "doc","manual_beremiz.pdf")) |
1206 event.Skip() |
1209 event.Skip() |
1207 |
1210 |
1208 def OnAboutMenu(self, event): |
1211 def OnAboutMenu(self, event): |
|
1212 about_html = objdictedit(self) |
|
1213 about_html.OpenHtmlFrame("About CAN Festival", os.path.join(CWD, "doc","about.html"), wx.Size(550, 500)) |
1209 event.Skip() |
1214 event.Skip() |
1210 |
1215 |
1211 def OnAddButton(self, event): |
1216 def OnAddButton(self, event): |
1212 PluginType = self.PluginChilds.GetStringSelection() |
1217 PluginType = self.PluginChilds.GetStringSelection() |
1213 if PluginType != "": |
1218 if PluginType != "": |