minor UI fixes in options panel (relevant on GTK based L&F, like Ubuntu).
Signed-off-by:jonathanlermitage <jonathan.lermitage@gmail.com>