Gutter.reorder
void reorder(gtksource.gutter_renderer.GutterRenderer renderer, int position)Reorders renderer in gutter to new position.
Parameters
renderer | a #GtkCellRenderer. |
position | the new renderer position. |
void reorder(gtksource.gutter_renderer.GutterRenderer renderer, int position)Reorders renderer in gutter to new position.
renderer | a #GtkCellRenderer. |
position | the new renderer position. |