Complete All Features of Spec Editor

[agilgur5]

E.g.

• Config Editor
• View Automaton: View Automaton #51
• Visualize Counterstrategy: CounterStrategy Visualization #40
• Workspace Decomp: Workspace Decomposition #58
• LTL Output: LTL Output #39

Plus QoL features:

• Line number highlighting w/ analyze would be nice
• and so would syntax highlighting in general: Syntax Highlighting #38
• Oh and only opening the file extension specified by default (in the upload dialog window as in): All Open Dialogs should by default only search given extensions #48

[agilgur5]

• LTL Output complete: LTL Output #39.
• File extensions are now specified by default: All Open Dialogs should by default only search given extensions #48

[agilgur5]

Updated tasks in order of priority:

1. Visualize Counterstrategy: CounterStrategy Visualization #40
2. Workspace Decomp: Workspace Decomposition #58
3. View Automaton: View Automaton #51
4. Syntax Highlighting: Syntax Highlighting #38
5. Analyze Line Number Highlighting
6. Config Editor

[agilgur5]

1. Workspace Decomposition complete: Workspace Decomposition #58

leftover tasks:

1. Visualize Counterstategy (working on furiously): CounterStrategy Visualization #40
2. View Automaton: View Automaton #51
3. Syntax Highlighting: Syntax Highlighting #38
4. Line Numbers
5. Analyze Line Number Highlighting
6. Config Editor

[agilgur5]

1. Syntax Highlighting complete: Syntax Highlighting #38

leftover tasks:

1. Visualize Counterstrategy: CounterStrategy Visualization #40
2. View Automaton: View Automaton #51
3. Line Numbers
4. Analyze Line Number Highlighting
5. Config Editor