Hi.
There is a bug in the hotlist menu. The group label is not updated
if you open an empty group. This happens everytime when you
create a new group and open it.
To reproduce it:
- open the hotlist (ctrl+'\')
- create New Group
- open it
- the label does not change
The included patch fixes
Hello!
There is a bug in the hotlist menu. The group label is not updated
if you open an empty group. This happens everytime when you
create a new group and open it.
Thank you, applied! It's a very simple and clean patch. I knew about
this bug but I never had time to investigate and fix it.