If  is set, make the panel smaller #22
Reduce the size of the status bar and icons one unit.
Avoid changing the panel_control text input
Merge pull request #30 from NicoSantangelo/small_find_and_replace_option

Shorter Option for Find/Replace Panel