[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Toolbox builds based on recent Eclipse 4.4 (was Re: [tlaplus] How can I open .tla files in TLA+ Toolbox?)

Hi Markus,

Woohoo! Your build seems to fix the open/save dialog.

It also fixes the awful pixelation I was seeing (possibly something to do with "retina" display). Strangely, the pixelation still appears in a few places though. Here's a screenshot; you can see the pixelation on the field labels "View:", "Depth:", etc: http://i.imgur.com/0S5YJb4.png

Also, the "Spec Status:" has moved from the bottom right to the bottom left-ish.

I'll play around with it some more and report anything odd that I find.

Best wishes,


On Tuesday, November 18, 2014 7:39:27 PM UTC, Markus Alexander Kuppe wrote:
On 18.11.2014 08:54, Stephan Merz wrote:
> Unfortunately, porting the Toolbox to an up to date version of
> Eclipse appears to be non-trivial. We hope to have somebody to look
> at the problem in the near future, as more and more stability
> problems are bound to appear. Volunteers welcome!


I have started porting the toolbox [1] a while ago and used today's
discussion as an impetus to make toolbox builds available [2] that are
based on the most recent Eclipse 4.4.

Consider these builds as highly unstable and likely to wreak havoc on
your computer. Please only use them if you know what you are doing and
want to help overhaul the toolbox. You should have a clear
understanding of how the toolbox is supposed to behave.


[2] http://tla.msr-inria.inria.fr/kuppe/e4/products/