# HG changeset patch
# User ib
# Date 1317481974 0
# Node ID 9e90daeb37d4306614bfc6fe6babc1185762a699
# Parent  66c5a04a5c323cbe9c278cbfc26d5720cf29cb25
Cosmetic: Adjust indent.

diff -r 66c5a04a5c32 -r 9e90daeb37d4 gui/wm/ws.c
--- a/gui/wm/ws.c	Sat Oct 01 15:09:09 2011 +0000
+++ b/gui/wm/ws.c	Sat Oct 01 15:12:54 2011 +0000
@@ -861,27 +861,27 @@
             }
         }
         if (wsWindowList[l]->wsCursor != None) {
-        wsVisibleMouse(wsWindowList[l], wsShowMouseCursor);
-        mouse_hide = True;
-        mouse_time = GetTimerMS();
+            wsVisibleMouse(wsWindowList[l], wsShowMouseCursor);
+            mouse_hide = True;
+            mouse_time = GetTimerMS();
         }
         goto buttonreleased;
 
     case ButtonRelease:
         i = Event->xbutton.button + 128;
         if (wsWindowList[l]->wsCursor != None) {
-        wsVisibleMouse(wsWindowList[l], wsShowMouseCursor);
-        mouse_hide = True;
-        mouse_time = GetTimerMS();
+            wsVisibleMouse(wsWindowList[l], wsShowMouseCursor);
+            mouse_hide = True;
+            mouse_time = GetTimerMS();
         }
         goto buttonreleased;
 
     case ButtonPress:
         i = Event->xbutton.button;
         if (wsWindowList[l]->wsCursor != None) {
-        wsVisibleMouse(wsWindowList[l], wsShowMouseCursor);
-        mouse_hide = True;
-        mouse_time = GetTimerMS();
+            wsVisibleMouse(wsWindowList[l], wsShowMouseCursor);
+            mouse_hide = True;
+            mouse_time = GetTimerMS();
         }
         goto buttonreleased;