equal
deleted
inserted
replaced
1707 /* When there is no toolbar w is null, check for that */ |
1707 /* When there is no toolbar w is null, check for that */ |
1708 if (w != NULL) w->wndproc(w, &e); |
1708 if (w != NULL) w->wndproc(w, &e); |
1709 } |
1709 } |
1710 } |
1710 } |
1711 |
1711 |
|
1712 void HandleCtrlChanged() |
|
1713 { |
|
1714 WindowEvent e; |
|
1715 |
|
1716 e.event = WE_CTRL_CHANGED; |
|
1717 e.we.ctrl.cont = true; |
|
1718 |
|
1719 /* Call the event, start with the uppermost window. */ |
|
1720 for (Window* const *wz = _last_z_window; wz != _z_windows;) { |
|
1721 Window *w = *--wz; |
|
1722 w->wndproc(w, &e); |
|
1723 if (!e.we.ctrl.cont) break; |
|
1724 } |
|
1725 } |
|
1726 |
1712 extern void UpdateTileSelection(); |
1727 extern void UpdateTileSelection(); |
1713 extern bool VpHandlePlaceSizingDrag(); |
1728 extern bool VpHandlePlaceSizingDrag(); |
1714 |
1729 |
1715 static int _input_events_this_tick = 0; |
1730 static int _input_events_this_tick = 0; |
1716 |
1731 |