Top | ![]() |
![]() |
![]() |
![]() |
GEnum ├── IAnjutaMarkableError ╰── IAnjutaMarkableMarker GInterface ╰── IAnjutaMarkable
void ianjuta_markable_delete_all_markers (IAnjutaMarkable *obj
,IAnjutaMarkableMarker marker
,GError **err
);
Delete the marker
from all locations.
gboolean ianjuta_markable_is_marker_set (IAnjutaMarkable *obj
,gint location
,IAnjutaMarkableMarker marker
,GError **err
);
Check if the marker
is set at the given location
.
gint ianjuta_markable_location_from_handle (IAnjutaMarkable *obj
,gint handle
,GError **err
);
Location where a marker is set could have moved by some operation in
the implementation. To retrieve the correct location where the marker
has moved, pass the handle retured by ianjuta_markable_mark()
to this
method.
gint ianjuta_markable_mark (IAnjutaMarkable *obj
,gint location
,IAnjutaMarkableMarker marker
,const gchar *tooltip
,GError **err
);
Marks the specified location with the given marker type. Location is implementation depenedent. For example, for an editor location means lines where markers are set.
obj |
Self |
|
location |
Location at which the marker to set. |
|
marker |
Type of marker to be used |
|
tooltip |
optional tooltip displayed with the marker. |
[allow-none] |
err |
Error propagation and reporting |
void ianjuta_markable_unmark (IAnjutaMarkable *obj
,gint location
,IAnjutaMarkableMarker marker
,GError **err
);
Clears the marker
at given location
.
“marker-clicked”
signalvoid user_function (IAnjutaMarkable *obj, gboolean double_click, gint location, gpointer user_data)
The signal is emitted when the user clicks on a marker
obj |
Self |
|
double_click |
whether the marker was double clicked |
|
location |
location of the clicked marker |
|
user_data |
user data set when the signal handler was connected. |
Flags: Run Last