File: tip79.html

package info (click to toggle)
jedit 5.3.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 14,252 kB
  • ctags: 11,190
  • sloc: java: 98,480; xml: 94,070; makefile: 52; sh: 42; cpp: 6; python: 6
file content (6 lines) | stat: -rw-r--r-- 301 bytes parent folder | download | duplicates (6) 
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>