1
0
forked from GitHub/gf-core
Commit Graph

17 Commits

Author SHA1 Message Date
hdaniels
f882f97a22 Lots of refactorings for gfeditor 2005-09-10 09:15:54 +00:00
hdaniels
f3d774c5f7 Navigating in the tree now works (using absolute positions), what it not always did before. 2005-07-01 14:29:38 +00:00
hdaniels
8f785c8ed4 Append an additional newline before the message from GF. reordering of read and form methods. 2005-07-01 11:40:50 +00:00
hdaniels
be4ad4a7cf Eliminated result as a global variable 2005-07-01 08:47:21 +00:00
aarne
4d94cdfd66 gfcm in Java ; Finnish close to finished 2005-06-30 22:09:36 +00:00
hdaniels
4a0abcaf1f parsing via middle-click works now 2005-06-29 17:53:04 +00:00
hdaniels
5d6bb705e6 Fixed double r 'refine ...' or even refine 'refine ...' 2005-06-23 15:23:32 +00:00
hdaniels
8dbdf17270 added a prominent place for the current tooltip description + bugfixes there 2005-06-23 14:38:52 +00:00
hdaniels
46e7ad75aa better icon for the editor 2005-06-23 11:48:10 +00:00
hdaniels
82a8acca71 added an application icon for gfeditor. But the icon itself is worth improvement 2005-06-23 10:52:38 +00:00
hdaniels
c9b5a36e03 changed 'Open' into 'Open Text' and 'New Topic' into 'New Grammar' 2005-06-23 10:18:36 +00:00
hdaniels
c68aa2b0e6 added GPL headers to JavaGUI2. Include LICENSE files in gfeditor.jar 2005-06-23 09:18:52 +00:00
hdaniels
1f193ff830 reduced log level if no param descriptions are present 2005-06-22 14:57:02 +00:00
hdaniels
8d79dd035a deleted log4j jar. It is no more used. 2005-06-22 14:53:10 +00:00
hdaniels
46976becbd removed calls to log4j. Logging sth. does not work yet 2005-06-22 14:48:25 +00:00
hdaniels
e7a7f7b223 typed menu entries even with printnames, on exit one is asked if 'text' instead of 'constraint' should be saved 2005-06-22 12:09:08 +00:00
hdaniels
6693b50c9d added daniels' version of the Java editor 2005-06-21 18:40:22 +00:00