User interface enhancements

This commit is contained in:
Mark Qvist 2021-09-16 19:54:32 +02:00
parent 557ddd7d1e
commit 7d5bb8e016
5 changed files with 54 additions and 30 deletions

View file

@ -84,8 +84,9 @@ class Browser:
def marked_link(self, link_target):
self.link_target = link_target
self.app.ui.loop.set_alarm_in(0.1, self.marked_link_job)
if self.status == Browser.DONE:
self.link_target = link_target
self.app.ui.loop.set_alarm_in(0.1, self.marked_link_job)
def marked_link_job(self, sender, event):
link_target = self.link_target