Я пишу программу таймера на Python, используя PyGTK. Это с точностью до сотых. Прямо сейчас я использую постоянно обновляемый ярлык. Это проблема, потому что, если я изменяю размер окна во время работы таймера, Pango чаще всего выдает какую-то сумасшедшую ошибку, и моя программа завершается. Это не всегда одна и та же ошибка, но разные ошибки, которые, как я предполагаю, являются какой-то формой неудачного розыгрыша. Кроме того, метка обновляется все медленнее и медленнее по мере увеличения размера шрифта.
Итак, мне интересно, есть ли более правильный способ отображения таймера. Есть ли более стабильный метод, чем постоянное обновление метки?