# HG changeset patch
# User ib
# Date 1359034144 0
# Node ID 9c0ef0aae165e69cda2beaaa64f99ae8a89a05e1
# Parent  edac040da09c81ea6d6f4c29c5d8dd8ed62bffcb
Remove unnecessary setting of uiMainRender.

diff -r edac040da09c -r 9c0ef0aae165 gui/ui/main.c
--- a/gui/ui/main.c	Thu Jan 24 13:08:31 2013 +0000
+++ b/gui/ui/main.c	Thu Jan 24 13:29:04 2013 +0000
@@ -519,7 +519,6 @@
            {
             case itPLMButton:
                  wsWindowMove( &guiApp.mainWindow,True,RX - abs( sx ),RY - abs( sy ) );
-                 uiMainRender=False;
                  break;
             case itPRMButton:
                  uiMenuMouseHandle( RX,RY );