PHP-GTK Manual - GtkScintilla::end_undo


Prev	GtkScintilla::end_undo_action	Next

GtkScintilla::end_undo_action

void end_undo_action(void);

Define when finish to store the actions of the user for "Undo Action".

$scintilla->end_undo_action();

Prev	Home	Next
GtkScintilla::begin_undo_action	Up	GtkScintilla::indic_set_style

Networksites:

Cheap domain registrar's cheap domain registration service

$8.95 domain registration : Buy domain name or register domain

Quotes:

One sees great things from the valley, only small things from the peak.

Disclaimer: This documentation is provided only for the benefits of our webhosting customers.
For authoritative source of the documentation, please refer to http://gtk.php.net/docs.php