java-imp-highlight.mkiv / last modification: 2020-01-30 14:16
%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