PHP-GTK Manual - Set the line indentation of some line.


Prev	GtkScintilla::set_line_indentation	Next

GtkScintilla::set_line_indentation

void set_line_indentation(int line, int indent_size);

Set the line indentation of some line.

$cur_line = $scintilla->get_cur_line();
$scintilla->set_line_indentation($cur_line, 8);

Prev	Home	Next
GtkScintilla::get_use_tabs	Up	GtkScintilla::get_line_indentation

Networksites:

Buy domain name registration from $3.95

Quotes:

In olden times sacrifices were made at the altar, a custom which is still continued.

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