PageRenderTime 48ms CodeModel.GetById 13ms RepoModel.GetById 0ms 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. // :folding=explicit:collapseFolds=1:
  6. //{{{ Clipboard hang workaround
  7. /* It has been reported that under some Java versions on Linux, jEdit hangs
  8. * inside AWT code when attempting to use copy and paste.
  9. *
  10. * Until a solution to the problem is found, if you experience it, you can
  11. * uncomment the next line. It will make jEdit not use the system clipboard
  12. * for copy and paste. It will stop the hangs but prevent you from copying
  13. * text between jEdit and other applications. */
  14. // Registers.setRegister('$',new Registers.StringRegister(""));
  15. //}}}
  16. //{{{ Change behavior of next/prev word commands
  17. /* If you would prefer them to not eat whitespace (as was the case in older
  18. * versions of jEdit) uncomment the following line. */
  19. // JEditTextArea.wordCommandsEatWhiteSpace = false;
  20. //}}}
  21. //{{{ Change behavior of home/end word commands
  22. /* If you would prefer them to not go to the start/end of the first/last
  23. * selected line when there is a selection, uncomment the following line. */
  24. // JEditTextArea.homeEndSelectionHack = false;
  25. //}}}