9 Commits

Author	SHA1	Message	Date
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