From: <jm...@us...> - 2011-06-19 11:11:56
|
Revision: 2525 http://eulergui.svn.sourceforge.net/eulergui/?rev=2525&view=rev Author: jmvanel Date: 2011-06-19 11:11:50 +0000 (Sun, 19 Jun 2011) Log Message: ----------- implement N3 shell in a GUI JFrame - WIP * completion does work * set a global Font for N3 texts, and apply it to the N3 shell - TODO: * paste with Control-V or middle button does not work * the global Font for N3 texts : - should be applied also to the N3 (jEdit) editor - should be settable by the N3 user preference file Modified Paths: -------------- trunk/eulergui/src/main/java/eulergui/EulerGUI.java trunk/eulergui/src/main/java/eulergui/tools/N3ShellPane.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |