wenzelm@34327
|
1 |
|
wenzelm@34327
|
2 |
Requirements to build from sources
|
wenzelm@34327
|
3 |
==================================
|
wenzelm@34327
|
4 |
|
wenzelm@35005
|
5 |
* Proper Java JRE/JDK from Sun, e.g. 1.6.0_18
|
wenzelm@34328
|
6 |
http://java.sun.com/javase/downloads/index.jsp
|
wenzelm@34328
|
7 |
|
wenzelm@36037
|
8 |
* Netbeans 6.8
|
wenzelm@34380
|
9 |
http://www.netbeans.org/downloads/index.html
|
wenzelm@34327
|
10 |
|
wenzelm@36810
|
11 |
* Scala for Netbeans: version 6.8v1.1.0rc2
|
wenzelm@36810
|
12 |
http://wiki.netbeans.org/Scala
|
wenzelm@36810
|
13 |
http://sourceforge.net/projects/erlybird/files/nb-scala/6.8v1.1.0rc2
|
wenzelm@34590
|
14 |
http://blogtrader.net/dcaoyuan/category/NetBeans
|
wenzelm@34327
|
15 |
|
wenzelm@36783
|
16 |
* jEdit 4.3.1 or 4.3.2
|
wenzelm@34327
|
17 |
http://www.jedit.org/
|
wenzelm@34648
|
18 |
Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
|
wenzelm@34638
|
19 |
|
wenzelm@34638
|
20 |
* jEdit plugins:
|
wenzelm@36037
|
21 |
Netbeans Library "Console" = $HOME/.jedit/jars/Console.jar
|
wenzelm@34766
|
22 |
Netbeans Library "SideKick" = $HOME/.jedit/jars/SideKick.jar
|
wenzelm@34766
|
23 |
Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
|
wenzelm@34766
|
24 |
Netbeans Library "Hyperlinks" = $HOME/.jedit/jars/Hyperlinks.jar
|
wenzelm@34384
|
25 |
|
wenzelm@34788
|
26 |
* Cobra Renderer 0.98.4
|
wenzelm@34748
|
27 |
http://lobobrowser.org/cobra.jsp
|
wenzelm@34748
|
28 |
Netbeans Library "Cobra-Renderer" = .../cobra.jar
|
wenzelm@34748
|
29 |
Netbenas Library "Rhino-JavaScript" = .../js.jar
|
wenzelm@34748
|
30 |
|
wenzelm@34327
|
31 |
* Isabelle/Pure Scala components
|
wenzelm@34327
|
32 |
Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
|
wenzelm@34327
|
33 |
|
wenzelm@34919
|
34 |
* Scala Compiler
|
wenzelm@34919
|
35 |
Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar
|
wenzelm@34919
|
36 |
|
wenzelm@34328
|
37 |
|
wenzelm@34341
|
38 |
Running the application within Netbeans
|
wenzelm@34341
|
39 |
=======================================
|
wenzelm@34328
|
40 |
|
wenzelm@34341
|
41 |
* Project properties: add "Run" argument like
|
wenzelm@34590
|
42 |
-noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist
|
wenzelm@34609
|
43 |
|
wenzelm@34638
|
44 |
* The Isabelle environment is obtained automatically via
|
wenzelm@34638
|
45 |
"$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows:
|
wenzelm@34609
|
46 |
|
wenzelm@34638
|
47 |
(1) via regular Isabelle settings,
|
wenzelm@34638
|
48 |
e.g. "isabelle env netbeans"
|
wenzelm@34609
|
49 |
|
wenzelm@34638
|
50 |
(2) or via ISABELLE_HOME from raw process environment,
|
wenzelm@34638
|
51 |
e.g. "env ISABELLE_HOME=.../Isabelle netbeans"
|
wenzelm@34609
|
52 |
|
wenzelm@34609
|
53 |
(3) or via JVM system properties (cf. "Run / VM Options")
|
wenzelm@34638
|
54 |
e.g. -Disabelle.home=.../Isabelle
|
wenzelm@34609
|
55 |
|
wenzelm@34766
|
56 |
|
wenzelm@34766
|
57 |
Misc notes
|
wenzelm@34766
|
58 |
==========
|
wenzelm@34766
|
59 |
|
wenzelm@34766
|
60 |
- Netbeans config/Editors/Preferences/...-CustomPreferences.xml
|
wenzelm@34766
|
61 |
|
wenzelm@34766
|
62 |
<entry javaType="java.lang.Integer" name="caret-blink-rate" xml:space="preserve">
|
wenzelm@34766
|
63 |
<value><![CDATA[0]]></value>
|
wenzelm@34766
|
64 |
</entry>
|
wenzelm@34766
|
65 |
|
wenzelm@34766
|
66 |
-----------------------------------------------------------------------
|
wenzelm@34766
|
67 |
To run jedit with remote debugging enabled, I use the following
|
wenzelm@34766
|
68 |
command: "java
|
wenzelm@34766
|
69 |
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
|
wenzelm@34766
|
70 |
-jar jedit.jar"
|
wenzelm@34766
|
71 |
|
wenzelm@34766
|
72 |
where XXXX is any open port number you wish. The above invocation
|
wenzelm@34766
|
73 |
works for Sun's JDK 5.0. There's an alternate incantation for earlier
|
wenzelm@34766
|
74 |
releases. (See
|
wenzelm@34766
|
75 |
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
|
wenzelm@34766
|
76 |
-----------------------------------------------------------------------
|
wenzelm@36499
|
77 |
|
wenzelm@36499
|
78 |
|
wenzelm@36499
|
79 |
Known problems with Mac OS
|
wenzelm@36499
|
80 |
==========================
|
wenzelm@36499
|
81 |
|
wenzelm@36499
|
82 |
- The MacOSX plugin disrupts regular C-X/C/V operations, e.g. between
|
wenzelm@36499
|
83 |
the editor and the Console plugin, which is a standard swing text
|
wenzelm@36499
|
84 |
box. Similar for search boxes etc.
|
wenzelm@36499
|
85 |
|
wenzelm@36499
|
86 |
- Anti-aliasing does not really work as well as for Linux or Windows.
|
wenzelm@36499
|
87 |
(General Apple/Swing problem?)
|
wenzelm@36499
|
88 |
|
wenzelm@36499
|
89 |
- Font.createFont mangles the font family of non-regular fonts,
|
wenzelm@36499
|
90 |
e.g. bold.
|
wenzelm@37104
|
91 |
|
wenzelm@37104
|
92 |
- ToggleButton selected state is not rendered if window focus is lost,
|
wenzelm@37104
|
93 |
which is probably a genuine feature of the Apple look-and-feel.
|