Gtk.SourceView.set_mark_category_priority – gtksourceview-2.0 Reference Manual
Packages
gtksourceview-2.0
Gtk
SourceView
auto_indent
completion
draw_spaces
highlight_current_line
indent_on_tab
indent_width
insert_spaces_instead_of_tabs
right_margin_position
show_line_marks
show_line_numbers
show_right_margin
smart_home_end
tab_width
SourceView
SourceView.with_buffer
get_auto_indent
get_completion
get_draw_spaces
get_gutter
get_highlight_current_line
get_indent_on_tab
get_indent_width
get_insert_spaces_instead_of_tabs
get_mark_category_background
get_mark_category_pixbuf
get_mark_category_priority
get_right_margin_position
get_show_line_marks
get_show_line_numbers
get_show_right_margin
get_smart_home_end
get_tab_width
set_auto_indent
set_draw_spaces
set_highlight_current_line
set_indent_on_tab
set_indent_width
set_insert_spaces_instead_of_tabs
set_mark_category_background
set_mark_category_icon_from_icon_name
set_mark_category_icon_from_pixbuf
set_mark_category_icon_from_stock
set_mark_category_pixbuf
set_mark_category_priority
set_mark_category_tooltip_func
set_mark_category_tooltip_markup_func
set_right_margin_position
set_show_line_marks
set_show_line_numbers
set_show_right_margin
set_smart_home_end
set_tab_width
line_mark_activated
move_lines
redo
show_completion
undo
set_mark_category_priority
Description:
public
void
set_mark_category_priority
(
string
category,
int
priority)