Evgeny Grechnikov (Diamond) c5397f9cf2 optimize set_window_box: do nothing if new box is the same as old one ...

git-svn-id: svn://kolibrios.org@1474 a494cfbc-eb01-0410-851d-a64ba20cac60

2010-05-30 18:19:10 +00:00

..

button.inc

gui/mouse.inc:

2010-02-06 19:08:19 +00:00

event.inc

Now, if the window is captured and moved by the user, then no mouse events! (6 = mouse event)

2010-05-26 19:05:43 +00:00

font.inc

…

mouse.inc

gui/mouse.inc:

2010-02-06 19:08:19 +00:00

mousepointer.inc

gui/mouse.inc:

2010-02-06 19:08:19 +00:00

skincode.inc

…

skindata.inc

…

window.inc

optimize set_window_box: do nothing if new box is the same as old one

2010-05-30 18:19:10 +00:00