> >I have pushed a new hidden pref to git, 'bold_marked' (off by default), > >this will cause 'marked' messages to be displayed with a bold font in > >the message list. Paul, thank you too ! It never occurred to me to look into 'hidden' prefs ... is there a place where everything is documented ?