javacommons/utils/javasrc/com/nokia/mj/impl/rt/support/MemoryManager.java
changeset 80 d6dafc5d983f
parent 21 2a9601315dfc
equal deleted inserted replaced
78:71ad690e91f5 80:d6dafc5d983f
   103             {
   103             {
   104                 // Move window
   104                 // Move window
   105                 setWindow();
   105                 setWindow();
   106                 return;
   106                 return;
   107             }
   107             }
       
   108             else
       
   109             {
       
   110                 // inside window - nothing to do
       
   111                 return;
       
   112             }
   108         }
   113         }
   109 
   114 
   110         // Collection has been requested
   115         // Collection has been requested
   111         runCollection();
   116         runCollection();
   112     }
   117     }