Closed mostr closed 12 years ago
Looks good. Two quick comments, though: I would find it strange if I my plugin updated and it started having a delay before words get highlighted. Can we keep the default at 0.04? The indentation of "= settings.get('selection_delay', 0.04)" is off because it uses all tabs and the others use spaces and a single tab.
Sure, we can keep 0.04 as default. Just've push that commit. Also documented this "selection_delay" in readme.
The indentation still isn't quite right, but good enough. :) Thanks!
If no "selection_delay" config key is present, default internal value 0.04 sec is used, which makes selection almost immediate. Currently config file contains value set to 0.5 sec as default to let users move cursor around without being distracted with immediate highlights. This time is similar to one used by eclipse in its "mark occurences" feature.