margin_click

margin_click

margin_click signal is emitted when the users clicks on the margin of GtkScintilla object.

Callback function

© Copyright 2003-2023 www.php-editors.com. The ultimate PHP Editor and PHP IDE site.