Патч, который решает следующие проблемы и задачи в скринлете Windowlist:
- Размер по нерасширяемой оси теперь не 40 пикселей принудительно, а по размеру иконки, который равен 32.
- Опции ориентации скринлета и направления расширения (было только влево/вверх):
- Direction=Back — влево или вверх
- Direction=Middle — держаться примерно по центру
- Direction=Front — вправо или вниз — поведение по умолчанию
- Orientation=True — вертикально
- Orientation=False — горизонтально
- После выхода (корректного и даже некорректного) правильно восстанавливает позицию (ранее сдвигалось если было расширение влево/вверх).
Применять так:
cd /usr/share/screenlets/Windowlist sudo patch < ~/WindowlistScreenlet.py.diff
И перезапустить скринлет (или все скринлеты, по желанию).
Скачать: