| 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
|