Add a setting tab_activity_symbol

Fixes #2515
This commit is contained in:
Kovid Goyal
2020-09-08 21:54:56 +05:30
parent 83315f7999
commit 9a54da84dc
8 changed files with 48 additions and 3 deletions

View File

@@ -736,13 +736,16 @@ class TabManager: # {{{
for t in self.tabs:
title = (t.name or t.title or appname).strip()
needs_attention = False
has_activity_since_last_focus = False
for w in t:
if w.needs_attention:
needs_attention = True
break
if w.has_activity_since_last_focus:
has_activity_since_last_focus = True
ans.append(TabBarData(
title, t is at, needs_attention,
len(t), t.current_layout.name or ''
len(t), t.current_layout.name or '',
has_activity_since_last_focus
))
return ans