--- nfo/patches/glimmer/scripts/FunctionSelector.py	2002/11/08 02:18:51	1.1
+++ nfo/patches/glimmer/scripts/FunctionSelector.py	2002/11/08 02:37:25	1.2
@@ -1,12 +1,25 @@
-# FunctionSelector v0.04 script for glimmer
-# last edit by Andreas Motl<andreas.motl@ilo.de>
-# and Sebastian Utz<su@tunemedia.de> 2002-11-01
+##################################################
+# $Id: FunctionSelector.py,v 1.2 2002/11/08 02:37:25 jonen Exp $
+# small plugin for glimmer
 #
-#ToDo:
+# Authors:
+#  Andreas Motl<andreas.motl@ilo.de>
+#  Sebastian Utz<su@tunemedia.de>
+#
+# ToDo:
 # - Bug: FunctionList doesn't refresh on new opened files by its own
 # - tune regex for more languages
 #
- 
+# Changelog:
+#  $Log: FunctionSelector.py,v $
+#  Revision 1.2  2002/11/08 02:37:25  jonen
+#  + added cvs header
+#  + added hook for refresh on "save-file"
+#    suggested by Mark McAulay
+#
+#
+##################################################
+
 import glimmer
 import string
 import re
@@ -138,7 +151,6 @@
 functionwindow.add(functionlist)
 functionlist.show()
 #functionlist.column_titles_show(1)
-#functionlist.set_column_title(0, "Functions:")
 glimmer.add_paned_object(functionbox._o, "FunctionSelector", 0)
 our_main()
 checkitem = GtkCheckMenuItem("Function Selector")
@@ -150,6 +162,8 @@
 
 glimmer.register_signal_hook("change-file", callback_change)
 
+glimmer.register_signal_hook("save-file", callback_change)
+
 args = (checkitem, functionbox, )
 _gtk.gtk_signal_connect(closebutton._o, "clicked", close_function_selector, args)
 args = (None, )