Matthias Becker
Matthias Becker
> So either we decide for one of the options, or we do provide a setting for this as well. But I'm not sure if adding more options to the...
Let's close this.
> New preference:  I wondering if we should move the new checkbox above the "Number of open editor..." setting so that all checkboxes are next to each...
> Sorry, i forgot to add the current UI after the change. Its now changed from check box to dropdown, after incorporating the review comments. Ah yes. Forgot that. In...
> but that would be a different issue Created https://github.com/eclipse-platform/eclipse.platform.ui/issues/2297 for this.
> I'm thinking about products like ours where the editors tab position is important because we have lot of complicated and nested UI elements, so users "occasionally" changing global preference...
@praveen-skp: Can you pls. rebase an resolve the merge conflicts?
I see: `03:17:33.152 [WARNING] MavenProject: org.eclipse.platform:org.eclipse.ui.editors:3.18.100-SNAPSHOT @ /home/jenkins/agent/workspace/eclipse.platform.ui_PR-2224/bundles/org.eclipse.ui.editors/.polyglot.META-INF: baseline and build artifacts have same version but different contents` Where does this come from?
@jukzi: I see failing test with: ``` Cannot invoke "java.util.function.Supplier.get()" because "this.shell" is null java.lang.NullPointerException: Cannot invoke "java.util.function.Supplier.get()" because "this.shell" is null at org.eclipse.test.Screenshots$ScreenshotOnFailure.dispose(Screenshots.java:52) at org.eclipse.test.Screenshots$ScreenshotOnFailure.finished(Screenshots.java:47) ``` Can you pls....
@azoitl: Referring to our talk on OCX. You said this feature is already available somewhere?