Размер виджета пейджера KDE

Я обычно использую 4 виртуальных рабочих стола, и мне нравится держать так называемый виджет пейджера на панели задач, который показывает, на какой рабочий стол я сейчас смотрю.

Но виджет относительно большой:

Есть ли способ уменьшить ширину символов рабочего стола в виджете пейджер?

Моя версия плазма-оболочки 5.12.8.

Просто откройте настройки системы и выберите «Поведение рабочего стола» -> «Виртуальные рабочие столы» и сделайте его двумя строками. Виджет будет настроен на половину ширины, и четыре рабочих стола будут показаны в два ряда, как показано на скриншоте (кажется, немного шире, потому что у меня есть 3 монитора).

Вам не нужно изменять код. :)

Я понял это с помощью @DKBose!

Вот шаги

1. сделать резервную копию конфигурационного файла

sudo cp /usr/share/plasma/plasmoids/org.kde.plasma.pager/contents/ui/main.qml /usr/share/plasma/plasmoids/org.kde.plasma.pager/contents/ui/main.qml_backup

2. редактировать конфиг, используя любимый редактор (я просто использую kate)

kate /usr/share/plasma/plasmoids/org.kde.plasma.pager/contents/ui/main.qml

3. Измените ширину каждого символа рабочего стола (я просто добавляю / 2в конец строки, чтобы получить половину исходной ширины):

property int columnWidth: Math.floor(rowHeight * pagerItemSizeRatio) / 2

4. Измените минимальную ширину всего виджета (снова просто добавив / 2, на этот раз после aspectRatio):

Layout.minimumWidth: !root.vertical ? Math.floor(height * aspectRatio / 2) : 1

И вот результат:

(5.) Если что-то пойдет не так, просто скопируйте файл резервной копии обратно в папку:

sudo cp /usr/share/plasma/plasmoids/org.kde.plasma.pager/contents/ui/main.qml_backup /usr/share/plasma/plasmoids/org.kde.plasma.pager/contents/ui/main.qml