/usr/share/doc/minizinc-ide/TODO is in minizinc-ide 2.0.10-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 | Features that would be nice to have:
* Show types
* Integrated global constraint library browser
* Save all data files before running
* Auto indent
* Column selection
Done
* Focus
* Make dzn selection in Configuration tab work
* Clear output window
* Font size
* Tabs-to-spaces (without messing up the undo buffer)
* About dialog
* Click on error location to jump to position in editor
* Configuration dialog for adding other solvers
* Global solver configurations stored somewhere system wide
* Find/replace
* Font selection
* Go to line
* Configure paths
* Time outs
* Mac application icon
* Indent/outdent selection
* Report solve time
* Basic help
* Windows application icon
* Multiple windows ("projects")
* Saving/loading projects (i.e. the contents of the Configuration tab + all
open files)
* Do not load really large files (show button instead to load on demand)
* Save before running
* Remove LGPL find/replace dialog
* Correct copyright headers
* Handle duplicate open files
* Save all
* Change font also for output
* Correct handling of open constraint graph windows
* Packaging
* Run fzn files
* Use mzn2fzn and implement the solutions processing internally
* Comment/uncomment selection
* Detach solver (to be able to run Gecode w/ Gist)
* Dialog for missing model parameters
* Detect when files change on disk (auto reload + dialog if changed)
* Colour selection
|