Misc development notes.
Wed, 22 Oct 2008 21:16:51 +0200
changeset 34340 19160c63b4d1
parent 34339 8c70469bc83a
child 34341 6df5642a2204
Misc development notes.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/NOTES	Wed Oct 22 21:16:51 2008 +0200
@@ -0,0 +1,43 @@
+Misc development notes
+- Netbeans config/Editors/Preferences/...-CustomPreferences.xml
+    <entry javaType="java.lang.Integer" name="caret-blink-rate" xml:space="preserve">
+        <value><![CDATA[0]]></value>
+    </entry>
+To run jedit with remote debugging enabled, I use the following
+command: "java
+-jar jedit.jar"
+where XXXX is any open port number you wish. The above invocation
+works for Sun's JDK 5.0.  There's an alternate incantation for earlier
+releases. (See
+Submitted by Daria Titova on Tuesday, 17 July, 2007 - 22:22
+Other Developer Topics
+Dear jEdit developers,
+I would like to let you now that we have recently ported jEdit 4.2
+environment into the NetBeans IDE.  You may wish to check it out:
+Now you can completely run, debug, and profile jEdit inside the
+NetBeans IDE, and have access to all nifty features NetBeans IDE
+provides to make developer's more productive and happy.
+I would greatly appreciate any feedback you may have about my project
+and any ideas on how to make it more useful for jEdit community.
+If you are new to NetBeans please go to http://www.netbeans.org for
+all information, tutorials and fun stuff.
+Daria Titova
+NetBeans Engineer.