361b56f2d2108ebcf05ac0c6648acd0431c03e88 max Tue Dec 12 04:59:01 2023 -0800 making default highlight color darker, it.s currently very hard to see on a projector screenshare, suggested by Ana, no redmine diff --git src/hg/js/hgTracks.js src/hg/js/hgTracks.js index f38f7a1..f07adfb 100644 --- src/hg/js/hgTracks.js +++ src/hg/js/hgTracks.js @@ -1002,32 +1002,34 @@ $(form).attr('method','get'); }, restoreFromBackButton: function() // Re-enabling vis dropdowns is necessary because initForAjax() disables them on submit. { $('select.normalText,select.hiddenText').attr('disabled',false); } }; //////////////////////////////////////////////////////////// // dragSelect is also known as dragZoom or shift-dragZoom // //////////////////////////////////////////////////////////// var dragSelect = { - hlColorDefault: '#aaedff', // default highlight color, if nothing specified - hlColor : '#aaedff', // current highlight color + //hlColorDefault: '#aaedff', // default highlight color, if nothing specified + //hlColor : '#aaedff', // current highlight color + hlColor : '#aac6ff', // current highlight color + hlColorDefault: '#aac6ff', // default highlight color, if nothing specified areaSelector: null, // formerly "imgAreaSelect". jQuery element used for imgAreaSelect originalCursor: null, startTime: null, escPressed : false, // flag is set when user presses Escape selectStart: function (img, selection) { initVars(); dragSelect.escPressed = false; if (rightClick.menu) { rightClick.menu.hide(); } var now = new Date(); dragSelect.startTime = now.getTime(); posting.blockMapClicks();