Public Git Hosting - texmacs.git/commit

commit	7b2845f81b03fb3af53ffeba22b30033dbcf8d57
author	vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
	Tue, 30 Oct 2007 11:19:56 +0000 (30 11:19 +0000)
committer	vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
	Tue, 30 Oct 2007 11:19:56 +0000 (30 11:19 +0000)
tree	a7a5236b114a795700c17bff941cc5974188994c	tree \| snapshot (tar.gz zip)
parent	dd017d448b833ed75afaa95eeea5d0fda1f64636	commit \| diff

Bug fix and cleaner treatment of notification

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2145 64cb5145-927a-446d-8aed-2fb7b4773692

src/src/Edit/Interface/edit_mouse.cpp		diff \| blob \| blame \| history
src/src/Plugins/Widkit/Basic/widkit_wrapper.cpp		diff \| blob \| blame \| history
src/src/Plugins/Widkit/Misc/texmacs_widget.cpp		diff \| blob \| blame \| history
src/src/Plugins/X11/x_display.cpp		diff \| blob \| blame \| history
src/src/Plugins/X11/x_window.cpp		diff \| blob \| blame \| history
src/src/Texmacs/Window/tm_dialogue.cpp		diff \| blob \| blame \| history
src/src/Window/message.hpp		diff \| blob \| blame \| history