58 |
58 |
59 bmp = wx.Image(os.path.join(CWD,"images","splash.png")).ConvertToBitmap() |
59 bmp = wx.Image(os.path.join(CWD,"images","splash.png")).ConvertToBitmap() |
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 |
64 import types, time, re, platform, time, traceback, commands |
64 import types, time, re, platform, time, traceback, commands |
65 from plugger import PluginsRoot |
65 from plugger import PluginsRoot |
66 |
66 |
67 base_folder = os.path.split(sys.path[0])[0] |
67 base_folder = os.path.split(sys.path[0])[0] |
68 CanFestivalPath = os.path.join(base_folder, "CanFestival-3") |
|
69 sys.path.append(os.path.join(CanFestivalPath, "objdictgen")) |
|
70 sys.path.append(os.path.join(base_folder, "docutils")) |
68 sys.path.append(os.path.join(base_folder, "docutils")) |
71 from objdictedit import * |
69 |
72 from docpdf import * |
70 from docpdf import * |
|
71 from dochtml import * |
73 |
72 |
74 SCROLLBAR_UNIT = 10 |
73 SCROLLBAR_UNIT = 10 |
75 WINDOW_COLOUR = wx.Colour(240,240,240) |
74 WINDOW_COLOUR = wx.Colour(240,240,240) |
76 TITLE_COLOUR = wx.Colour(200,200,220) |
75 TITLE_COLOUR = wx.Colour(200,200,220) |
77 CHANGED_TITLE_COLOUR = wx.Colour(220,200,220) |
76 CHANGED_TITLE_COLOUR = wx.Colour(220,200,220) |
1186 def OnBeremizMenu(self, event): |
1185 def OnBeremizMenu(self, event): |
1187 open_pdf(os.path.join(CWD, "doc", "manual_beremiz.pdf")) |
1186 open_pdf(os.path.join(CWD, "doc", "manual_beremiz.pdf")) |
1188 event.Skip() |
1187 event.Skip() |
1189 |
1188 |
1190 def OnAboutMenu(self, event): |
1189 def OnAboutMenu(self, event): |
1191 about_html = objdictedit(self) |
1190 OpenHtmlFrame(self,"About Beremiz", os.path.join(CWD, "doc","about.html"), wx.Size(550, 500)) |
1192 about_html.OpenHtmlFrame("About Beremiz", os.path.join(CWD, "doc","about.html"), wx.Size(550, 500)) |
|
1193 event.Skip() |
1191 event.Skip() |
1194 |
1192 |
1195 def OnAddButton(self, event): |
1193 def OnAddButton(self, event): |
1196 PluginType = self.PluginChilds.GetStringSelection() |
1194 PluginType = self.PluginChilds.GetStringSelection() |
1197 if PluginType != "": |
1195 if PluginType != "": |