530 	}

   530 	}

   531 

   531 

   532 	return true;

   532 	return true;

   533 }

   533 }

   534 

   534 

   536 	Window *w;

   537 	Window *w;

   537 	Point pt;

   538 	Point pt;

   538 

   539 

   539 	_awap_r.width = width;

   540 	_awap_r.width = width;

   540 	_awap_r.height = height;

   541 	_awap_r.height = height;

   776 	w->wndproc(w, &e);

   777 	w->wndproc(w, &e);

   777 

   778 

   778 	return false;

   779 	return false;

   779 }

   780 }

   780 

   781 

   782 {

   783 {

   783 	Window *w;

   784 	Window *w;

   784 	WindowEvent e;

   785 	WindowEvent e;

   785 	static Window *last_w = NULL;

   786 	static Window *last_w = NULL;

   786 

   787 

   809 

   810 

   810 	// Mouseover never stops execution

   811 	// Mouseover never stops execution

   811 	return true;

   812 	return true;

   812 }

   813 }

   813 

   814 

   815 {

   816 {

   816 	Window *w;

   817 	Window *w;

   817 	// Get out immediately if no window is being dragged at all.

   818 	// Get out immediately if no window is being dragged at all.

   818 	if (!_dragging_window)

   819 	if (!_dragging_window)

   819 		return true;

   820 		return true;