Fix timer bug
commit16ba84f985571fca70b99c74ca81e307be7bfcf8
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 23 Nov 2009 22:11:01 +0000 (23 22:11 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 23 Nov 2009 22:11:01 +0000 (23 22:11 +0000)
treec2be14a9e6cace9589f8e6bdf514af014b250904
parent1dfddc1cbb8fdf2fb5303c51e2a7997dfc58ce49
Fix timer bug

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2826 64cb5145-927a-446d-8aed-2fb7b4773692
13 files changed:
src/src/Data/Drd/drd_info.cpp
src/src/Graphics/Renderer/basic_renderer.cpp
src/src/Guile/Scheme/object.cpp
src/src/Plugins/Ispell/ispell.cpp
src/src/Plugins/Widkit/Button/popup_button.cpp
src/src/Plugins/X11/x_drawable.cpp
src/src/Plugins/X11/x_loop.cpp
src/src/Plugins/X11/x_window.cpp
src/src/System/Classes/timer.cpp
src/src/System/Classes/timer.hpp
src/src/System/Files/file.cpp
src/src/System/Link/pipe_link.cpp
src/src/System/Link/tm_link.cpp