Options toolbox: fix selection border width slider not hiding correctly