| Summary: | [GTK] [Ubuntu] Radio button menu item does not change selection state | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Thomas Singer <eclipse> | ||||
| Component: | SWT | Assignee: | Platform-SWT-Inbox <platform-swt-inbox> | ||||
| Status: | RESOLVED FIXED | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | CC: | akurtakov, ericwill, gautier.desaintmartinlacaze, kohenkatz | ||||
| Version: | 4.7 | Keywords: | triaged | ||||
| Target Milestone: | --- | ||||||
| Hardware: | PC | ||||||
| OS: | Linux | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Thomas Singer
Created attachment 264376 [details]
Sample code to reproduce
If UBUNTU_MENUPROXY is set to 0, it works as expected and without the console output. (In reply to Thomas Singer from comment #0) > Take a look again into the menu: "Value 1" still is selected. You also may > try the commented code in setSelection() without making any difference. This > sample works fine on a Gnome 3 desktop like Fedora 24. So the bug is only reproducible on Ubuntu? I haven't tried all possible Linux variants, but IMHO is Ubuntu a very common desktop. Works just fine on Fedora 25. Clearly an Ubuntu menuproxy issue. Marking the bug as such for whoever has time for such issues. Just tested on Ubuntu 18.10 and works fine. |