Skip to content
This repository has been archived by the owner on Aug 5, 2020. It is now read-only.

TODO #9

Open
7 tasks
TilBlechschmidt opened this issue Jun 13, 2017 · 0 comments
Open
7 tasks

TODO #9

TilBlechschmidt opened this issue Jun 13, 2017 · 0 comments

Comments

@TilBlechschmidt
Copy link
Member

TilBlechschmidt commented Jun 13, 2017 •
edited
Loading

Things to do:

  • Highlight TODOs
  • List of TODOs
  • Word count
  • Autocompletion
  • Bibliography integration
  • Overwrite CTRL+S
  • Call editor resize function for all resize operations e.g. separator movement
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@TilBlechschmidt