# HG changeset patch # User John Tsiombikas # Date 1394571851 -7200 # Node ID 54ffb1765d3927cc3cf2e0cc1d62a2a781bc787d # Parent 3aa12cdb9925268dec7c9df62990d26b51ad0dc9 foo diff -r 3aa12cdb9925 -r 54ffb1765d39 src/widget.cc --- a/src/widget.cc Mon Feb 24 22:25:49 2014 +0200 +++ b/src/widget.cc Tue Mar 11 23:04:11 2014 +0200 @@ -87,6 +87,10 @@ return vis; } +void Widget::activate() +{ +} + #ifdef WIN32 long gameui::get_cur_time() {