File: tip79.html

package info (click to toggle)
jedit 4.3.2%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 12,288 kB
  • ctags: 10,215
  • sloc: java: 88,754; xml: 81,655; makefile: 53; sh: 26
file content (6 lines) | stat: -rw-r--r-- 307 bytes parent folder | download 
1
2
3
4
5
6
 
<html><body>
If you use dockable windows, you might have noticed that the tool bar placement
policy has changed in jEdit 4.1. If you would prefer to revert to the old
jEdit 4.0 behavior, you can do so in the <b>View</b> pane of the
<b>Utilities</b>&gt;<b>Global Options</b> dialog box.
</body></html>