From 722b3241de1bb40b2454509f0ab6d5378d121bcc Mon Sep 17 00:00:00 2001 From: "Alex A. Naanou" Date: Fri, 13 Jan 2017 06:44:18 +0300 Subject: [PATCH] doc/notes... Signed-off-by: Alex A. Naanou --- ui (gen4)/features/ui.js | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/ui (gen4)/features/ui.js b/ui (gen4)/features/ui.js index 70c14da6..270dfaef 100755 --- a/ui (gen4)/features/ui.js +++ b/ui (gen4)/features/ui.js @@ -1668,6 +1668,31 @@ module.Cursor = core.ImageGridFeatures.Feature({ .off('mousemove', this.__cursor_show_handler) } })], + + // Toggle global auto-hiding the cursor... + // + // The cursor can hidden by the following user actions: + // + // - keyboard activity + // toggled by: + // .toggleAutoHideCursorKeyboard(..) + // hide delay is set by: + // .config['cursor-keyboard-hide-timeout'] + // list of keys that will not hide the cursor is set via: + // .config['cursor-autohide-ignore-keys'] + // + // - mouse inactivity + // toggled by: + // .toggleAutoHideCursorTimeout(..) + // inactivity period (timeout) is set by: + // .config['cursor-autohide-timeout'] + // + // + // Moving the mouse will prevent it from being hidden by either + // action. + // The amount of movement required (threshold in pixels): + // .config['cursor-show-threshold'] + // toggleAutoHideCursor: ['Interface/Cursor auto-hide', toggler.CSSClassToggler( function(){ return this.ribbons.viewer },