java-imp-highlight.mkiv /size: 1120 b    last modification: 2020-07-01 14:35
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