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