× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.



On 9/21/2015 8:57 AM, Paul Bailey wrote:

I've just installed v9.5, and I've not had any major problems.
-snip-
I have a keypress set under "User Key Actions" for filterSelection. I select some text, press my key and I find every mention of that text in the source at once (and then I use CTRL-W to return to unfiltered source). Since the update to 9.5, pressing my filterSelection keypress doesn't work unless I click on the screen after I've pressed my magic key. If the source is already filtered, the filterSelection keypress works fine, but once I press CTRL-W then select something else for filterSelection the keypress appears not to work until I click in the source code with the mouse.

This is a minor issue, but I was wondering if anyone else is seeing this before I think about a bug report.

I cannot re-create it on my 9.5. Steps I took:
1) Window > Preferences > Keys (User Key Actions)
2) Map c-a-f to filterSelection
3) Set, then Apply
4) Using the keyboard, select a variable name
5) Ctrl-Alt-F, filters by the selection - works as expected
6) Navigate around using keyboard
7) Ctrl-W to show all (ie remove filter)
8) Repeat from (4) with a different selection, works as expected

FWIW, my 9.5 workspace is a copy of my 9.1.1.1 workspace.


As an Amazon Associate we earn from qualifying purchases.

This thread ...

Follow-Ups:
Replies:

Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.