Fix bug #4013 “"Menu path" font size in Hotkeys tab is too small” master
authorRicardo Mones <ricardo@mones.org>
Sat, 14 Jul 2018 14:58:34 +0000 (16:58 +0200)
committerRicardo Mones <ricardo@mones.org>
Sat, 14 Jul 2018 14:58:34 +0000 (16:58 +0200)
commit5fac794ae9741ba63ef668d63644ef3beeefa6db
treee1290f1a53be26f1505df2037af9f383b1c74f50
parentfbeef107fe07fa5220b4bec0c1ef8ebb6d657260
Fix bug #4013 “"Menu path" font size in Hotkeys tab is too small”
clawsker