![2019-02-09___22-29-39](https://user-images.githubusercontent.com/416367/52529142-cc061280-2cba-11e9-8eda-3b49d71d1073.png)
To answer migzulk's question:
In case you didn't know, the code is at:
~/.local/share/plasma/plasmoids/com.github.zren.tiledmenu/contents/ui/
The jump to category font size is in JumpToSectionView.qml
https://github.com/Zren/plasma-applet-tiledmenu/blob/master/package/contents/ui/JumpToSectionView.qml
property int buttonSize: {
if (squareView) {
return 70 * units.devicePixelRatio
} else {
// return 36 * units.devicePixelRatio
return 20 * units.devicePixelRatio
}
}
I suggest you use 20
, as the actual text label multiplies the buttonSize
/cellHeight
/height
using height * 0.6
. Since 20 * 0.6 = 12px
font, which leaves 4px
padding around the text above and below. The Label
does have it's own built in top/bottom padding, so it might be slightly smaller than 12px font, but you can adjust the size if it's too small.
If you wish to change the font height of the "sections" in the actual app list, look at KickerSectionHeader.qml
https://github.com/Zren/plasma-applet-tiledmenu/blob/master/package/contents/ui/KickerSectionHeader.qml
First change 14 * units.devicePixelRatio
to 12
, then you need to change the MouseArea
's implicitHeight
so that the button is the same size at the Label
, instead of being the same size as the app buttons. The Label
has a slight built-in padding, so you might be fine with it being 14px.
MouseArea {
id: sectionDelegate
...
// implicitHeight: listView.iconSize
implicitHeight: sectionHeading.implicitHeight
...
PlasmaComponents.Label {
id: sectionHeading
...
// font.pointSize: 14 * units.devicePixelRatio
font.pointSize: 12 * units.devicePixelRatio
To test your changes, run
plasmawindowed com.github.zren.tiledmenu
then restart plasmashell when you're finished tweaking and ready to apply it to your panel. Either relog or run:
killall plasmashell; kstart5 plasmashell