mirror of
https://github.com/aclist/dztui.git
synced 2026-10-30 14:42:54 +01:00
The filter panel previously did not pack filter labels homogeneously, so
the width of the "Unofficial" label was being manually constrained by abbreviating it. Labels auto ellipsize and adjust now, so the full name is used. The filter file check is also allowed to fail if the user's filter preferences file contains old key names.
This commit is contained in:
1 parent
9d3aa8d9f5
commit
83a7996189
2 files changed
+7
-4
No files matched your search
@@ -181,7 +181,7 @@ filter_lowpop = "Low pop"
|
||||
filter_nonascii = "Non-ASCII"
|
||||
filter_duplicate = "Duplicate"
|
||||
filter_official = "Official"
|
||||
filter_unofficial = "Unoffic."
|
||||
filter_unofficial = "Unofficial"
|
||||
filter_modded = "Modded"
|
||||
|
||||
# maps
|
||||
|
||||
Reference in new issue
Block a user