source.list
branchcpp_gui
changeset 6289 be3d8bd9fb02
parent 6285 187e3ef04cc9
child 6298 c30fe89622df
--- a/source.list	Sun Mar 04 13:13:24 2007 +0000
+++ b/source.list	Sun Mar 04 22:36:22 2007 +0000
@@ -334,6 +334,7 @@
 widget/widget_resizebox.cpp
 widget/widget_scrollbar.cpp
 widget/widget_stickybox.cpp
+widget/widget_types.h
 widget/window_event.cpp
 widget/window_event_base.h
 widget/window_events.hpp