00001
00002
00003
00004
00005
00006
00007
00008
00009
00010 import wx
00011
00012
00013
00014
00015
00016 class MonitorPanelGenerated ( wx.Panel ):
00017
00018 def __init__( self, parent ):
00019 wx.Panel.__init__ ( self, parent, id = wx.ID_ANY, pos = wx.DefaultPosition, size = wx.Size( 500,700 ), style = wx.TAB_TRAVERSAL )
00020
00021 bSizer1 = wx.BoxSizer( wx.VERTICAL )
00022
00023 self.m_splitter2 = wx.SplitterWindow( self, wx.ID_ANY, wx.DefaultPosition, wx.DefaultSize, wx.SP_3D )
00024 self.m_splitter2.SetSashGravity( 0.5 )
00025 self.m_splitter2.Bind( wx.EVT_IDLE, self.m_splitter2OnIdle )
00026 self.m_splitter2.SetMinimumPaneSize( 100 )
00027
00028 self.m_panel3 = wx.Panel( self.m_splitter2, wx.ID_ANY, wx.DefaultPosition, wx.DefaultSize, wx.TAB_TRAVERSAL )
00029 bSizer5 = wx.BoxSizer( wx.VERTICAL )
00030
00031 self.m_splitter4 = wx.SplitterWindow( self.m_panel3, wx.ID_ANY, wx.DefaultPosition, wx.DefaultSize, wx.SP_3D )
00032 self.m_splitter4.SetSashGravity( 0.5 )
00033 self.m_splitter4.Bind( wx.EVT_IDLE, self.m_splitter4OnIdle )
00034 self.m_splitter4.SetMinimumPaneSize( 100 )
00035
00036 self.m_panel31 = wx.Panel( self.m_splitter4, wx.ID_ANY, wx.DefaultPosition, wx.DefaultSize, wx.TAB_TRAVERSAL )
00037 bSizer51 = wx.BoxSizer( wx.VERTICAL )
00038
00039 sbSizer3 = wx.StaticBoxSizer( wx.StaticBox( self.m_panel31, wx.ID_ANY, u"Errors" ), wx.VERTICAL )
00040
00041 self._error_tree_ctrl = wx.TreeCtrl( self.m_panel31, wx.ID_ANY, wx.DefaultPosition, wx.Size( -1,-1 ), wx.TR_DEFAULT_STYLE|wx.TR_HIDE_ROOT )
00042 self._error_tree_ctrl.SetMinSize( wx.Size( -1,60 ) )
00043
00044 sbSizer3.Add( self._error_tree_ctrl, 1, wx.ALL|wx.EXPAND, 5 )
00045
00046 bSizer51.Add( sbSizer3, 1, wx.EXPAND, 5 )
00047
00048 self.m_panel31.SetSizer( bSizer51 )
00049 self.m_panel31.Layout()
00050 bSizer51.Fit( self.m_panel31 )
00051 self.m_panel41 = wx.Panel( self.m_splitter4, wx.ID_ANY, wx.DefaultPosition, wx.DefaultSize, wx.TAB_TRAVERSAL )
00052 bSizer6 = wx.BoxSizer( wx.VERTICAL )
00053
00054 sbSizer2 = wx.StaticBoxSizer( wx.StaticBox( self.m_panel41, wx.ID_ANY, u"Warnings" ), wx.VERTICAL )
00055
00056 self._warning_tree_ctrl = wx.TreeCtrl( self.m_panel41, wx.ID_ANY, wx.DefaultPosition, wx.Size( -1,-1 ), wx.TR_DEFAULT_STYLE|wx.TR_HIDE_ROOT )
00057 self._warning_tree_ctrl.SetMinSize( wx.Size( -1,60 ) )
00058
00059 sbSizer2.Add( self._warning_tree_ctrl, 1, wx.ALL|wx.EXPAND, 5 )
00060
00061 bSizer6.Add( sbSizer2, 1, wx.EXPAND, 5 )
00062
00063 self.m_panel41.SetSizer( bSizer6 )
00064 self.m_panel41.Layout()
00065 bSizer6.Fit( self.m_panel41 )
00066 self.m_splitter4.SplitHorizontally( self.m_panel31, self.m_panel41, 240 )
00067 bSizer5.Add( self.m_splitter4, 1, wx.EXPAND, 5 )
00068
00069 self.m_panel3.SetSizer( bSizer5 )
00070 self.m_panel3.Layout()
00071 bSizer5.Fit( self.m_panel3 )
00072 self.m_panel4 = wx.Panel( self.m_splitter2, wx.ID_ANY, wx.DefaultPosition, wx.DefaultSize, wx.TAB_TRAVERSAL )
00073 bSizer4 = wx.BoxSizer( wx.VERTICAL )
00074
00075 sbSizer1 = wx.StaticBoxSizer( wx.StaticBox( self.m_panel4, wx.ID_ANY, u"All" ), wx.VERTICAL )
00076
00077 self._tree_ctrl = wx.TreeCtrl( self.m_panel4, wx.ID_ANY, wx.DefaultPosition, wx.Size( -1,-1 ), wx.TR_DEFAULT_STYLE|wx.TR_HIDE_ROOT )
00078 self._tree_ctrl.SetMinSize( wx.Size( -1,60 ) )
00079
00080 sbSizer1.Add( self._tree_ctrl, 1, wx.ALL|wx.EXPAND, 5 )
00081
00082 bSizer4.Add( sbSizer1, 1, wx.EXPAND, 5 )
00083
00084 self.m_panel4.SetSizer( bSizer4 )
00085 self.m_panel4.Layout()
00086 bSizer4.Fit( self.m_panel4 )
00087 self.m_splitter2.SplitHorizontally( self.m_panel3, self.m_panel4, 240 )
00088 bSizer1.Add( self.m_splitter2, 1, wx.EXPAND, 5 )
00089
00090 self._message_status_text = wx.StaticText( self, wx.ID_ANY, wx.EmptyString, wx.DefaultPosition, wx.DefaultSize, 0 )
00091 self._message_status_text.Wrap( -1 )
00092 self._message_status_text.SetFont( wx.Font( wx.NORMAL_FONT.GetPointSize(), 70, 90, 92, False, wx.EmptyString ) )
00093 self._message_status_text.SetForegroundColour( wx.Colour( 85, 178, 76 ) )
00094 self._message_status_text.SetToolTipString( u"asdf" )
00095
00096 bSizer1.Add( self._message_status_text, 0, wx.ALL, 5 )
00097
00098 self.SetSizer( bSizer1 )
00099 self.Layout()
00100
00101 def __del__( self ):
00102 pass
00103
00104 def m_splitter2OnIdle( self, event ):
00105 self.m_splitter2.SetSashPosition( 240 )
00106 self.m_splitter2.Unbind( wx.EVT_IDLE )
00107
00108 def m_splitter4OnIdle( self, event ):
00109 self.m_splitter4.SetSashPosition( 240 )
00110 self.m_splitter4.Unbind( wx.EVT_IDLE )
00111
00112
00113
00114
00115
00116
00117 class MessageTimelineGenerated ( wx.Panel ):
00118
00119 def __init__( self, parent ):
00120 wx.Panel.__init__ ( self, parent, id = wx.ID_ANY, pos = wx.DefaultPosition, size = wx.Size( 503,63 ), style = wx.TAB_TRAVERSAL )
00121
00122 bSizer4 = wx.BoxSizer( wx.HORIZONTAL )
00123
00124 self.m_slider1 = wx.Slider( self, wx.ID_ANY, 2, 1, 2, wx.DefaultPosition, wx.DefaultSize, wx.SL_AUTOTICKS|wx.SL_HORIZONTAL|wx.SL_LABELS|wx.SL_TOP )
00125 bSizer4.Add( self.m_slider1, 1, wx.ALL, 5 )
00126
00127 self._pause_button = wx.ToggleButton( self, wx.ID_ANY, u"Pause", wx.DefaultPosition, wx.DefaultSize, 0 )
00128 bSizer4.Add( self._pause_button, 0, wx.ALL|wx.ALIGN_CENTER_VERTICAL, 5 )
00129
00130 self.SetSizer( bSizer4 )
00131 self.Layout()
00132
00133 def __del__( self ):
00134 pass
00135
00136