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