diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-04-26 18:49:37 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-04-26 18:49:37 +0200 |
| commit | f5940e2909da5dfb87291cdb6e7afa3960ce3f44 (patch) | |
| tree | b2e19044bd7c50a8645bb0e415913b0f98c545ba /platform/android/java/lib | |
| parent | 260530f01caa8ea3e2fb7bfda04f4bd718ae14f5 (diff) | |
Limit the size of the Manage Editor Feature Profiles dialog
This makes it more readable on large monitors.
Diffstat (limited to 'platform/android/java/lib')
0 files changed, 0 insertions, 0 deletions