Community
Participate
Working Groups
When launching the Snippet15 on Windows, one can easily select/unselect ranges using Ctrl+Shift+<left mouse click>, but on Linux this does not work - instead it works as Shift was not pressed.
Still reproducible on GTK3 and GTK2.
IMO we should fix this in 4.9.
I believe the issue here is that Snippet15 uses SWT.BORDER and thus multi line selection is disabled. Using SWT.MULTI seems to work fine on GTK3. Is it possible that this is a bug on Windows, or maybe just platform differences?
(In reply to Eric Williams from comment #3) > I believe the issue here is that Snippet15 uses SWT.BORDER and thus multi > line selection is disabled. Using SWT.MULTI seems to work fine on GTK3. > > Is it possible that this is a bug on Windows, or maybe just platform > differences? Thomas, can we close this one?