222:807345aad816
Anton Shestakov <av6@dwimlabs.net>, 2022-01-16
gtk3: turns out there WAS a setting for this
previous change 141:66e31ac77c94

.hgeditor

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS
Inserted Replaced Deleted
221:0c928913c8ad 222:807345aad816