2006-08-08 17:16:28 +01:00
|
|
|
URGENT
|
|
|
|
|
|
|
|
|
|
TO BE DONE
|
|
|
|
|
|
|
|
|
|
WOULD LIKE TO HAVE
|
|
|
|
|
- Attacks are not kept centered well.
|
2006-08-02 13:59:57 +01:00
|
|
|
- Ideally we somehow color the correct/incorrect tags in the editor.
|
|
|
|
|
- Line numbering is needed for the editor window otherwise you cannot
|
2006-08-08 17:16:28 +01:00
|
|
|
interpret attacks. Probably use wx.Py editor things.
|
2006-08-02 13:59:57 +01:00
|
|
|
- Preferences window.
|
|
|
|
|
- Save in local file on close.
|
|
|
|
|
- Scyther executable should be able to be set by means of preferences.
|
|
|
|
|
(Using a file select dialog)
|
2006-08-09 13:36:22 +01:00
|
|
|
- Refactoring: constructing the comment of a claim (now in
|
|
|
|
|
Gui/Scytherthread) should really be in Scyther/Claim.
|
