1%D \module 2%D [ file=java-imp-highlightm, % was: java-rhh 3%D version=2010.02.01, 4%D title=\CONTEXT\ JavaScript Macros, 5%D subtitle=Runtime Highlight Hack, 6%D author=Hans Hagen, 7%D date=\currentdate, 8%D copyright={PRAGMA ADE \& \CONTEXT\ Development Team}] 9%C 10%C This module is part of the \CONTEXT\ macro||package and is 11%C therefore copyrighted by \PRAGMA. See mreadme.pdf for 12%C details. 13 14%D As hightlighting is rather intrusive it makes sense to turn it off when 15%D using nice appearances. 16 17% app.runtimeHighlightColor = [ "T" ] ; 18% 19% var SavedAlwaysShowFocus = app.alwaysShowFocus ; 20% app.alwaysShowFocus = true ; 21% "app.alwaysShowFocus = SavedAlwaysShowFocus ; " 22 23\startJSpreamble RuntimeHighlightHack used now 24 var SavedHighlightState = app.runtimeHighlight ; 25 var SavedFocusRectState = app.focusRect ; 26 app.runtimeHighlight = false ; 27 app.focusRect = true ; 28 this.setAction("WillClose", 29 "app.runtimeHighlight = SavedHighlightState ; " + 30 "app.focusRect = SavedFocusRectState ; " 31 ) ; 32\stopJSpreamble 33 34\endinput 35 |