src/Tools/jEdit/etc/options

--- a/src/Tools/jEdit/etc/options	Mon Jan 28 23:56:13 2013 +0100
+++ b/src/Tools/jEdit/etc/options	Thu Jan 31 22:21:05 2013 +0100
@@ -21,6 +21,9 @@
 option jedit_symbols_search_limit : int = 50
   -- "maximum number of symbols in search result"
 
+option jedit_mac_adapter : bool = true
+  -- "some native Mac OS X support (potential conflict with MacOSX plugin)"
+
 
 section "Rendering of Document Content"