diff options
| author | Phil Burk <[email protected]> | 2019-09-15 13:03:30 -0600 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-15 13:03:30 -0600 |
| commit | 0eb49ab0342fd0fd0660a845141dbc78508e9cd2 (patch) | |
| tree | 0a3f41cefa7f5f1e5fb70ff0b2da1f75f0ba9b8c /build.xml | |
| parent | 17f8a07bbf81b5429b0db69766ffd024c892d1d7 (diff) | |
| parent | 224230e7d585482f1917024a3fff14a70f3064ab (diff) | |
Merge pull request #73 from philburk/safeui
ui: use safeRepaint()
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions