Quote:
Originally Posted by chaley
So would I. 
GUI work is never-ending. There is always a way to do it better/different/intuitively. It is also work I don't particularly enjoy. The right thing to do is to change from a text box to a list box, which would make selection straight-forward. Eventually I will get to it, unless someone else does it first. |
Ah, I see. Like I said, it's really minor- I can easily live with it as it is, as well. (And no, that implication might work for icons, but not for code- my Python-fu isn't strong enough yet
)