--- a/Viewer.py	Sun Dec 09 17:07:45 2007 +0100
+++ b/Viewer.py	Sun Dec 09 17:14:14 2007 +0100
@@ -281,7 +281,9 @@
             dc = wx.BufferedPaintDC(self)
         else:
             dc = wx.ClientDC(self)
-        if wx.Platform != '__WXMSW__':
+        if wx.Platform == '__WXMSW__':
+            dc.SetFont(wx.Font(10, wx.SWISS, wx.NORMAL, wx.NORMAL))
+        else:
             dc.SetFont(wx.NORMAL_FONT)
         if wx.VERSION >= (2, 6, 0):
             self.DoPrepareDC(dc)
@@ -1015,7 +1017,6 @@
             self.SelectedElement.SetSelected(True)
             self.SelectedElement.OnRightUp(event, self.GetLogicalDC(), self.Scaling)
             wx.CallAfter(self.SetCursor, wx.NullCursor)
-            self.ReleaseMouse()
             self.Refresh(False)
         else:
             self.PopupDefaultMenu(False)