File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4646
4747
4848def launch_engines_gui (
49- workspace_dir : str = None , language : str = "en" , theme : str = "dark"
49+ workspace_dir : str = None ,
50+ language : str = "en" ,
51+ theme : str = "dark" ,
5052) -> int :
5153 """Lance l'application Engines Standalone GUI.
5254
@@ -63,6 +65,18 @@ def launch_engines_gui(
6365 return _launch (workspace_dir , language , theme )
6466
6567
68+ def launch_prog_engine_gui (
69+ engine_id : str ,
70+ workspace_dir : str = None ,
71+ language : str = "en" ,
72+ theme : str = "dark" ,
73+ ) -> int :
74+ """Lance la GUI dédiée à un seul moteur avec éditeur de config."""
75+ from .gui import launch_prog_engine_gui as _launch
76+
77+ return _launch (engine_id , workspace_dir , language , theme )
78+
79+
6680def main ():
6781 """Point d'entrée principal du module."""
6882 from . import __main__ as _main_module
@@ -75,5 +89,6 @@ def main():
7589 "EnginesStandaloneApp" ,
7690 "EnginesStandaloneGui" ,
7791 "launch_engines_gui" ,
92+ "launch_prog_engine_gui" ,
7893 "main" ,
7994]
Original file line number Diff line number Diff line change 3939import argparse
4040import sys
4141
42- from .gui import launch_engines_gui
42+ from .gui import launch_engines_gui , launch_prog_engine_gui
4343
4444
4545def run_cli (args ):
@@ -143,6 +143,11 @@ def main():
143143 "--engine" ,
144144 help = "Engine ID to use for compilation (CLI mode)" ,
145145 )
146+ parser .add_argument (
147+ "--prog-engine" ,
148+ metavar = "ENGINE_ID" ,
149+ help = "Launch GUI focused on one engine tab only" ,
150+ )
146151 parser .add_argument (
147152 "-f" ,
148153 "--file" ,
@@ -180,6 +185,13 @@ def main():
180185 # Mode CLI
181186 return run_cli (args )
182187 else :
188+ if args .prog_engine :
189+ return launch_prog_engine_gui (
190+ engine_id = args .prog_engine ,
191+ workspace_dir = args .workspace ,
192+ language = args .language ,
193+ theme = args .theme ,
194+ )
183195 # Mode GUI
184196 return launch_engines_gui (
185197 workspace_dir = args .workspace ,
You can’t perform that action at this time.
0 commit comments