search

cinder / TinderBox

TinderBox
14 stars 6 forks source link

make 'Preferences' dialog user-friendly #19

Closed dbelyaev closed 7 years ago

dbelyaev commented 7 years ago

The only way to close it is to push ESC on keyboard.

This PR will:

Before: image

After: image

andrewfb commented 7 years ago

Thanks for this and apologies for the delay; this is merged now.