equal
deleted
inserted
replaced
19 Netbeans Project "jEdit": install official sources as ./contrib/jEdit/. |
19 Netbeans Project "jEdit": install official sources as ./contrib/jEdit/. |
20 |
20 |
21 * jEdit plugins: |
21 * jEdit plugins: |
22 Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar |
22 Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar |
23 Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar |
23 Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar |
24 Netbeans Library "HyperLink" = $HOME/.jedit/jars/Hyperlinks.jar |
24 Netbeans Library "Hyperlink" = $HOME/.jedit/jars/Hyperlinks.jar |
25 |
25 |
26 * Flying Saucer XHTML renderer |
26 * Flying Saucer XHTML renderer |
27 https://xhtmlrenderer.dev.java.net/ |
27 https://xhtmlrenderer.dev.java.net/ |
28 Netbeans Library "Flying-Saucer" = .../core-renderer.jar |
28 Netbeans Library "Flying-Saucer" = .../core-renderer.jar |
29 |
29 |