← Back to branch summary

~yrke/tapaal/ControllersAndPushdown

Viewing all changes in revision 1130.

  • Committer: Kenneth Yrke Joergensen
  • Date: 2019-09-06 12:33:04 UTC
  • Revision ID: kenneth@yrke.dk-20190906123304-y4m3oeaie0f5b80r
Removed unneded call to updateSize in NameLabel and made updateSize private

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: