Hi folks,
I think I found a weird little bug. Nothing important, but I thought you might like to know. It concerns local search boxes in the Preferences.
Steps to reproduce:
- open Prefs
- go somehwere, eg. Internet -> Updates (doesn't matter as long as it's not color-related)
- close Prefs
- re-open Prefs
- the Internet -> Updates page is shown
- goto Colors and Fonts -> DOpus Colors (without searching!)
- on the Colors page, enter some text in the local search box
- it works - so far, so good
- type "colors" into the global search box
- you stay on the Colors page
- local search is disabled because global search is active
- go somehwere else in the Prefs, eg. Internet -> Updates
- close Prefs
- re-open Prefs
- type "colors" into the global search box
- the Colors and Fonts -> Color Blending page is shown
- goto Colors and Fonts -> DOpus Colors
- the local search box is enabled (which it shouldn't), but doesn't work
I tried this (with the latest Beta 13.5.5) several times with consistent results.