![]() |
![]() |
![]() |
WebKitGTK+ Reference Manual | ![]() |
---|---|---|---|---|
Top | Description |
WebKitWebHistoryItemWebKitWebHistoryItem — One item of the WebKitWebBackForwardList and or global history |
WebKitWebHistoryItem; const gchar * webkit_web_history_item_get_alternate_title (WebKitWebHistoryItem *web_history_item); gdouble webkit_web_history_item_get_last_visited_time (WebKitWebHistoryItem *web_history_item); const gchar * webkit_web_history_item_get_original_uri (WebKitWebHistoryItem *web_history_item); const gchar * webkit_web_history_item_get_title (WebKitWebHistoryItem *web_history_item); const gchar * webkit_web_history_item_get_uri (WebKitWebHistoryItem *web_history_item); WebKitWebHistoryItem * webkit_web_history_item_new (void); WebKitWebHistoryItem * webkit_web_history_item_new_with_data (const gchar *uri, const gchar *title); void webkit_web_history_item_set_alternate_title (WebKitWebHistoryItem *web_history_item, const gchar *title);
A history item consists out of a title and a uri. It can be part of the WebKitWebBackForwardList and the global history. The global history is used for coloring the links of visited sites. WebKitHistoryItem's constructed with webkit_web_history_item_new and webkit_web_history_item_new_with_data are automatically added to the global history.
/* Inject a visited page into the global history */ webkit_web_history_item_new_with_data("http://www.gnome.org/", "GNOME: The Free Software Desktop Project"); webkit_web_history_item_new_with_data("http://www.webkit.org/", "The WebKit Open Source Project");
const gchar * webkit_web_history_item_get_alternate_title (WebKitWebHistoryItem *web_history_item);
Returns the alternate title of web_history_item
|
a WebKitWebHistoryItem |
Returns : |
the alternate title of web_history_item
|
gdouble webkit_web_history_item_get_last_visited_time (WebKitWebHistoryItem *web_history_item);
|
|
Returns : |
const gchar * webkit_web_history_item_get_original_uri (WebKitWebHistoryItem *web_history_item);
Returns the original URI of web_history_item
.
|
a WebKitWebHistoryItem |
Returns : |
the original URI of web_history_item
|
const gchar * webkit_web_history_item_get_title (WebKitWebHistoryItem *web_history_item);
|
a WebKitWebHistoryItem |
Returns : |
the page title of web_history_item
|
const gchar * webkit_web_history_item_get_uri (WebKitWebHistoryItem *web_history_item);
Returns the URI of this
|
a WebKitWebHistoryItem |
Returns : |
the URI of web_history_item
|
WebKitWebHistoryItem * webkit_web_history_item_new (void);
Creates a new WebKitWebHistoryItem instance
Returns : |
the new WebKitWebHistoryItem |
WebKitWebHistoryItem * webkit_web_history_item_new_with_data (const gchar *uri, const gchar *title);
Creates a new WebKitWebHistoryItem with the given URI and title
|
the uri of the page |
|
the title of the page |
Returns : |
the new WebKitWebHistoryItem |
void webkit_web_history_item_set_alternate_title (WebKitWebHistoryItem *web_history_item, const gchar *title);
Sets an alternate title for web_history_item
|
a WebKitWebHistoryItem |
|
the alternate title for this history item
|