[Notion-devel] Maybe a problem with urgency hint

[Ranousse <ran...@gm...>]

I did the following.
1) Split the current workspace in 2.
2) In the first part of the workspace launch with F3
              xpdf DemandePDF.pdf -remote some_remote_name
3) Now go to the second part and launch still with F3
              xpdf -reload -remote some_remote_name -raise
   (which mean reload the xpdf window of the other part)

The tabline of xpdf window become red as with urgency hints.
For me it's a little annoying since I use these method to reload my pdf
windows when using latex. As Ion3 did not use to do that, I wonder if
it's normal or if there's a bug somewhere. (it could be normal if notion
consider a wider range of messages for urgency).

I also noticed that sometimes, the curent tabline of the current window
become red after doing <ctrl-l, type url, enter> in opera browser. It
seems a little strange since in this case I'm on the current window, and
there's no reason to have the red urgency tab. I also managed to lose
the keyboard because of this (but did not manage to reproduce it a
second time). This seems a little less normal ;-)