|
From: | martin rudalics |
Subject: | bug#19972: Font size change doesn't update (window-total-width) |
Date: | Wed, 04 Mar 2015 16:10:40 +0100 |
>> Which? > > WM_SIZE, no? Hmmm... I have to think this over. martin
[Prev in Thread] | Current Thread | [Next in Thread] |