Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Preference "Add Directory..." do nothing (SWTError: No more handles)

See original GitHub issue

When I open Preferences -> TLA+ Preferences And click: Add Directory... Nothin happens.

toolbox - latest
OS: Ubuntu 16.04
$ java -version
openjdk version "1.8.0_292"
OpenJDK Runtime Environment (build 1.8.0_292-8u292-b10-0ubuntu1~16.04.1-b10)
OpenJDK 64-Bit Server VM (build 25.292-b10, mixed mode)

Issue Analytics

State:
Created 2 years ago
Comments:7 (4 by maintainers)

Top GitHub Comments

1reaction

lemmycommented, May 14, 2021

With something broken as basic as this, you will probably run into all sorts of issues, even if you manage to manually pass the TLA-Library sysproperty to TLC. If you can’t risk upgrading gtk, you are probably better off grabbing an older Toolbox release that works with older versions of gtk. Alternatively, you can try out the TLA+ VSCode extension, which covers a subset of the Toolbox features. Unfortunately, we don’t have the resources to support more than just the most recent versions of Win10, Ubuntu, and macOS (that’s already a stretch). 😦

0reactions

mrLSDcommented, May 14, 2021

So there is only one way update to gtk 3.20. But it can break the system.

How to put that path config property manually, probably to the config file?