@@ -297,10 +297,11 @@ def get_wx_font(self, s, prop):
297297font = self .fontd .get (key )
298298if font is not None :
299299return font
300+ size = self .points_to_pixels (prop .get_size_in_points ())
300301# Font colour is determined by the active wx.Pen
301302# TODO: It may be wise to cache font information
302303self .fontd [key ]= font = wx .Font (# Cache the font and gc.
303- pointSize = self . points_to_pixels ( prop . get_size_in_points () ),
304+ pointSize = int ( size + 0.5 ),
304305family = self .fontnames .get (prop .get_name (),wx .ROMAN ),
305306style = self .fontangles [prop .get_style ()],
306307weight = self .fontweights [prop .get_weight ()])
@@ -567,7 +568,7 @@ def start_event_loop(self, timeout=0):
567568raise RuntimeError ("Event loop already running" )
568569timer = wx .Timer (self ,id = wx .ID_ANY )
569570if timeout > 0 :
570- timer .Start (timeout * 1000 ,oneShot = True )
571+ timer .Start (int ( timeout * 1000 ) ,oneShot = True )
571572self .Bind (wx .EVT_TIMER ,self .stop_event_loop ,id = timer .GetId ())
572573# Event loop handler for start/stop event loop
573574self ._event_loop = wx .GUIEventLoop ()