Skip to content
Snippets Groups Projects
Select Git revision
  • 42edec3392b6d7b5cba0f762ff02caef35c579c1
  • master default protected
  • towards_1.8.0
  • updateTLC
  • 1.1.0-stups
  • 1.0.2-stups
  • 1.0.1-stups
  • 1.0.0-stups
8 results

tlatools

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Scrollbar behaves erratic due to the viewer's lazy content provider.
    Markus Alexander Kuppe authored 
    The JFace's TreeViewer does not correctly handle the vertical tree size if the content provider is lazy and more than just the initial level of items is expanded.

[Bug][Toolbox]
    42edec33
    History
    user avatar 42edec33
    History
    Name Last commit Last update