These are chat archives for ceylon/ceylon-ide-eclipse

26th
Apr 2016
Gavin King
@gavinking
Apr 26 2016 10:13
Who added the ugly “Jdk provider” text box to my properties page?!
Bastien Jansen
@bjansen
Apr 26 2016 10:13
that would be @FroMage
Gavin King
@gavinking
Apr 26 2016 10:14
commit 03b594cb3b9b4a9c2f5bcd2186d41364c21ae183
Author: Stephane Epardaud <stef@epardaud.fr>
Date:   Thu Apr 21 12:56:55 2016 +0200

    Support jdkProvider option
@FroMage did you really mean to push that?
it breaks the whole layout of the screen
and the label isn’t even correctly capitalized
Bastien Jansen
@bjansen
Apr 26 2016 10:15
what does it look like? (I don't have the latest master)
Gavin King
@gavinking
Apr 26 2016 10:26
ugly
Bastien Jansen
@bjansen
Apr 26 2016 10:26
yeah I just saw that, there's a big gap below the text field
Stéphane Épardaud
@FroMage
Apr 26 2016 12:39
yes that's me
frankly I was pretty astonished that it displayed at all
with no clipping
as I don't know SWT at all
I didn't see anything wrong with the displaying
I'm frankly unqualified to fix it, though I'm afraid
I was already far out of my comfort zone doing all this