PageRenderTime 25ms CodeModel.GetById 17ms app.highlight 6ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre5/startup/hiddenFeatures.bsh

#
Unknown | 38 lines | 25 code | 13 blank | 0 comment | 0 complexity | 47edc4a2f3ce5cd742bbf4247eac91e8 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
 1// This file lets you activate some hidden features found in jEdit.
 2// These features do not have settings in 'Global Options' because they are
 3// too obscure and I don't want to add properties for every little tiny
 4// configurable setting.
 5
 6// :folding=explicit:collapseFolds=1:
 7
 8//{{{ Clipboard hang workaround
 9
10/* It has been reported that under some Java versions on Linux, jEdit hangs
11 * inside AWT code when attempting to use copy and paste.
12 *
13 * Until a solution to the problem is found, if you experience it, you can
14 * uncomment the next line. It will make jEdit not use the system clipboard
15 * for copy and paste. It will stop the hangs but prevent you from copying
16 * text between jEdit and other applications. */
17
18// Registers.setRegister('$',new Registers.StringRegister(""));
19
20//}}}
21
22//{{{ Change behavior of next/prev word commands
23
24/* If you would prefer them to not eat whitespace (as was the case in older
25 * versions of jEdit) uncomment the following line. */
26
27// JEditTextArea.wordCommandsEatWhiteSpace = false;
28
29//}}}
30
31//{{{ Change behavior of home/end word commands
32
33/* If you would prefer them to not go to the start/end of the first/last
34 * selected line when there is a selection, uncomment the following line. */
35
36// JEditTextArea.homeEndSelectionHack = false;
37
38//}}}