|Summary:||Command line option for export to EPS opens GUI|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Marius Mikučionis <marius>|
Description Gerd Behrmann 2005-10-27 13:18:03 CEST
The command line options for exporting to EPS (see bug 146) is supposed to non-interactively export a template to EPS format. However, the current implementation opens the splash screen and in some cases shows error dialogs. Looking at the implementation, it is clear that indeed Swing is initialized before the export is performed. I suggest this is redesigned to export the template without starting Swing.
Comment 1 Marius Mikučionis 2005-11-07 02:27:33 CET
Fixed in CVS. The other options will still be interpreted, but options requiring graphical response will have no chance, e.g. "--splashScreen on" will not have effect.
Comment 2 Marius Mikučionis 2005-11-29 16:16:38 CET
Tested after Gerd's restructuring, works fine (nice error reporting).