diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-11-03 15:01:23 +0100 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-11-03 15:01:23 +0100 |
| commit | d0ba2d54ed60c67fb2ca91f1eb534d800e3d7e6c (patch) | |
| tree | 3b8dec28497eb8dd6c080c3dd21b30415a35489c /pdf-over-gui/src/main/resources | |
| parent | 1835bf6f84516b74bbd6334dda56a9f3953c5590 (diff) | |
| download | pdf-over-d0ba2d54ed60c67fb2ca91f1eb534d800e3d7e6c.tar.gz pdf-over-d0ba2d54ed60c67fb2ca91f1eb534d800e3d7e6c.tar.bz2 pdf-over-d0ba2d54ed60c67fb2ca91f1eb534d800e3d7e6c.zip | |
fix UX race condition in positioningpanel
cf. #129
Diffstat (limited to 'pdf-over-gui/src/main/resources')
0 files changed, 0 insertions, 0 deletions