Top | ![]() |
![]() |
![]() |
![]() |
GQuark | ianjuta_editor_tip_error_quark () |
void | ianjuta_editor_tip_cancel () |
void | ianjuta_editor_tip_show () |
gboolean | ianjuta_editor_tip_visible () |
void ianjuta_editor_tip_cancel (IAnjutaEditorTip *obj
,GError **err
);
Cancels the last shown tooltip
void ianjuta_editor_tip_show (IAnjutaEditorTip *obj
,GList *tips
,IAnjutaIterable *position
,GError **err
);
Show tips showing more information on current context. No user feedback
is required when tips are shown. position
indicates
the position before which is the known context and after which are
the suggestions. Usually the editor would use this to
align the choices displayed such that the carat is just at this
position when the choices are displayed.
obj |
Self |
|
tips |
list of alternative tips. |
[element-type utf8] |
position |
Tip position. |
|
err |
Error propagation and reporting |
gboolean ianjuta_editor_tip_visible (IAnjutaEditorTip *obj
,GError **err
);