Getting number of messages in MessageBox

[dennis luehring]

Am 06.08.2013 09:30, schrieb Marek Janukowicz:
> Gabi wrote:
>
>> Why not go for the trivial solution - just increase/decrease a
>> counter for each push/pop message?
>
> Yeah, that's most likely what I'll end up with, but it's a pity such
> information exists and I only can't access it because someone decided to
> make it private... or should I file a bug (or rather feature request) about
> it?

the question is do the published counter then needs locking - and make 
it slow for all - just for beeing getable?