Community
Participate
Working Groups
Version: 4.3.0 Build id: I20120904-0800 Saw this on Ubuntu GTK. Have not tried other GTK platforms yet. Open the "Find/Replace" dialog (Ctrl+F). Tab to one of the Options fields, for example "Case sensitive". Type space. Nothing happens. This should select/deselect the checkbox.
Tried with Eclipse sdk 4.3 M3 on Ubuntu 12.10 with Unity and It seems to work as it should there.
Can't reproduce. Closing. Please reopen if it still happens for you.