Re: [Gnumed-devel] Window manager - graphics rendering questions

[catmat]

Karsten Hilbert wrote:

> > The only hard coding in the whole program is this:
> > =============================================
> > class MyApp(wx.PySimpleApp):
> >    def OnInit(self):
> >        frame = MyFrame(None, -1, "THIS CRAP MOCKUP IS NOT MEANT TO BE 
> > VISUALLY ACCURATE, SO DON'T WHINGE ABOUT THINGS NOT LINING 
> > UP",wx.DefaultPosition,size=(1024,735))
> > ==============================================
> > Which is hardly 'hard coding'.
> >    
> It is but I tend to side with you here that it should not make
> too much of a difference. Does your screen still look good (it
> does) when you change the window size ?
>
> Karsten
>  
sounds like the window manager's problem, should be invoking vertical
scrollbars when minimum of window resize causes the child button vertical
height to be less than the font vertical height.
(e.g. child buttons should be able to send an event up the parent heirarchy
if a request is made to repaint itself with a height less than a 
threshold multiplier
e.g. 1.1  x the font height)
Is there a way of setting window manager policy that would help here?