Weird things seem to happen when the GTK theme is changed during the operation of Pomodorino. The timer may stall, or the period advancement logic may get confused. I don't thing it's the fault of App.{tick,next_state}, but the theme change might be generating some event/signal that needs responding, or maybe breaking Indicator.update, as it uses theme icons to update the systray indicator, and thus accesses theme objects.
Weird things seem to happen when the GTK theme is changed during the operation of Pomodorino. The timer may stall, or the period advancement logic may get confused. I don't thing it's the fault of
App.{tick,next_state}, but the theme change might be generating some event/signal that needs responding, or maybe breakingIndicator.update, as it uses theme icons to update the systray indicator, and thus accesses theme objects.