[PyMOL] (small) Pymol feature request--filter for edit settings window

[Michelle Gill]

While we're discussing ways to make our favorite program a little 
better, I had an idea I thought I'd throw out there...

While making some figures the other day, I found myself scrolling 
endlessly through the edit settings menu (under Setting --> Edit All) a 
number of times, mostly to locate a relatively small number of settings 
related to ray tracing. This got me thinking about a way to improve 
access to the many wonderful features that have been added to PyMOL.

The solution I came up with is a filter line which could be placed 
directly above the window listing all the settings. Users could then 
type a word, say "ray" or "cartoon", and only the settings containing 
this word would be shown.

The best example of a program containing this feature is the 
"about:config" window in Firefox. When you open a browser and type 
"about:config" instead of an address, a window containing hundreds of 
settings appears. At the top is a filter bar which you can use to pare 
down the number of settings listed below.

I think this would be a great addition to PyMOL and would help users 
familiarize themselves with the many new settings which have been (and 
will be) implemented. :)

Perhaps others have even better solutions to this problem. The use of a 
filter is just the first idea which came to my mind. I think it would be 
relatively easy to implement, although my python programming skills are 
somewhat limited.

Thanks,
Michelle Gill