File tree Expand file tree Collapse file tree 1 file changed +17
-1
lines changed
Expand file tree Collapse file tree 1 file changed +17
-1
lines changed Original file line number Diff line number Diff line change @@ -137,14 +137,30 @@ def menu_name(self):
137137 def __init__ (self , parent , actions ):
138138 super ().__init__ (parent , actions )
139139
140- # Add actions to the menu for re-adding tables
140+ # Add actions to the menu
141141 self .menu .addAction (actions ["open_documentation" ])
142142 self .menu .addAction (actions ["next_steps" ])
143143 self .menu .addSeparator ()
144144 self .menu .addAction (actions ["whats_this" ])
145145 self .menu .addAction (actions ["about" ])
146146
147147
148+ class ToolMenu (BasicMenu ):
149+ """Tool Menu of the TaskBar."""
150+
151+ def menu_name (self ):
152+ return "&Tools"
153+
154+ def __init__ (self , parent , actions ):
155+ super ().__init__ (parent , actions )
156+
157+ # Add actions to the menu
158+ self .menu .addAction (actions ["check_petab" ])
159+ self .menu .addAction (actions ["clear_log" ])
160+ self .menu .addSeparator ()
161+ self .menu .addAction (actions ["simulate" ])
162+
163+
148164class TaskBar :
149165 """TaskBar of the PEtab Editor."""
150166
You can’t perform that action at this time.
0 commit comments