Tue May 4 09:58:48 EDT 2010 Axe...@in...
* Fix documenation to Editable.
Ignore-this: d9494bc1fb323d50164f219423a5e17
hunk ./gtk/Graphics/UI/Gtk/Entry/Editable.chs 280
--- | Emitted when the settings of the 'Editable' widget changes.
+-- | The 'onEditableChanged' signal is emitted at the end of a single
+-- user-visible operation on the contents of the 'Editable'.
+--
+-- * For inctance, a paste operation that replaces the contents of the
+-- selection will cause only one signal emission (even though it is
+-- implemented by first deleting the selection, then inserting the new
+-- content, and may cause multiple 'onEditableInserText' signals to be
+-- emitted).
|
