Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Complete All Features of Spec Editor #36

Open
4 of 8 tasks
agilgur5 opened this issue May 15, 2015 · 4 comments
Open
4 of 8 tasks

Complete All Features of Spec Editor #36

agilgur5 opened this issue May 15, 2015 · 4 comments
Labels
kind: feature New feature or request scope: SpecEditor Related to the Spec Editor

Comments

@agilgur5
Copy link
Contributor

agilgur5 commented May 15, 2015 •
edited
Loading

E.g.

Plus QoL features:
@agilgur5 agilgur5 added the kind: feature New feature or request label May 15, 2015
@agilgur5
Copy link
Contributor Author

agilgur5 commented Nov 9, 2015 •
edited
Loading

@agilgur5
Copy link
Contributor Author

agilgur5 commented Nov 9, 2015 •
edited
Loading

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
Copy link
Contributor Author

agilgur5 commented Dec 12, 2015 •
edited
Loading

  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 agilgur5 added the scope: SpecEditor Related to the Spec Editor label Dec 12, 2015
@agilgur5
Copy link
Contributor Author

agilgur5 commented May 21, 2016 •
edited
Loading

  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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: feature New feature or request scope: SpecEditor Related to the Spec Editor
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@agilgur5