File: tip89.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 (26 lines) | stat: -rw-r--r-- 697 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
<html><body>

In jEdit 4.1, the "indent on enter" and "indent on tab"
settings were removed. Now, the behavior of the <b>ENTER</b> and <b>TAB</b> keys
can be configured in the <b>Shortcuts</b> pane of the <b>Global Options</b> dialog
box, just as with any other key. The <b>ENTER</b> key can be bound to one of
the following commands, for example:

<ul>
<li><b>Insert Newline</b>
<li><b>Insert Newline and Indent</b> (default)
</ul>

The <b>TAB</b> key can be bound to one of these commands:

<ul>
<li><b>Insert Tab</b>
<li><b>Insert Tab or Indent</b> (default)
<li><b>Indent Selected Lines</b>
</ul>

Custom behavior can also be implemented by binding these keys to
macros, etc.

</body>
</html>