2015-07-29 23:07:56 +00:00
|
|
|
/* Text View/Hypertext
|
2003-08-05 19:16:01 +00:00
|
|
|
*
|
2011-09-02 03:55:47 +00:00
|
|
|
* Usually, tags modify the appearance of text in the view, e.g. making it
|
|
|
|
* bold or colored or underlined. But tags are not restricted to appearance.
|
|
|
|
* They can also affect the behavior of mouse and key presses, as this demo
|
2003-11-08 22:08:05 +00:00
|
|
|
* shows.
|
2003-08-05 19:16:01 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
#include <gdk/gdkkeysyms.h>
|
|
|
|
|
|
|
|
/* Inserts a piece of text into the buffer, giving it the usual
|
|
|
|
* appearance of a hyperlink in a web browser: blue and underlined.
|
|
|
|
* Additionally, attaches some data on the tag, to make it recognizable
|
2011-09-02 03:55:47 +00:00
|
|
|
* as a link.
|
2003-08-05 19:16:01 +00:00
|
|
|
*/
|
2011-09-02 03:55:47 +00:00
|
|
|
static void
|
|
|
|
insert_link (GtkTextBuffer *buffer,
|
|
|
|
GtkTextIter *iter,
|
2020-03-07 14:01:21 +00:00
|
|
|
const char *text,
|
2008-07-06 07:24:02 +00:00
|
|
|
gint page)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
|
|
|
GtkTextTag *tag;
|
2011-09-02 03:55:47 +00:00
|
|
|
|
|
|
|
tag = gtk_text_buffer_create_tag (buffer, NULL,
|
|
|
|
"foreground", "blue",
|
|
|
|
"underline", PANGO_UNDERLINE_SINGLE,
|
2008-07-06 07:24:02 +00:00
|
|
|
NULL);
|
2003-08-05 19:16:01 +00:00
|
|
|
g_object_set_data (G_OBJECT (tag), "page", GINT_TO_POINTER (page));
|
|
|
|
gtk_text_buffer_insert_with_tags (buffer, iter, text, -1, tag, NULL);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Fills the buffer with text and interspersed links. In any real
|
|
|
|
* hypertext app, this method would parse a file to identify the links.
|
|
|
|
*/
|
|
|
|
static void
|
2011-09-02 03:55:47 +00:00
|
|
|
show_page (GtkTextBuffer *buffer,
|
2008-07-06 07:24:02 +00:00
|
|
|
gint page)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
|
|
|
GtkTextIter iter;
|
|
|
|
|
|
|
|
gtk_text_buffer_set_text (buffer, "", 0);
|
|
|
|
gtk_text_buffer_get_iter_at_offset (buffer, &iter, 0);
|
2019-11-01 18:30:33 +00:00
|
|
|
gtk_text_buffer_begin_irreversible_action (buffer);
|
2003-08-05 19:16:01 +00:00
|
|
|
if (page == 1)
|
|
|
|
{
|
|
|
|
gtk_text_buffer_insert (buffer, &iter, "Some text to show that simple ", -1);
|
2016-02-10 05:07:37 +00:00
|
|
|
insert_link (buffer, &iter, "hyper text", 3);
|
2003-08-05 19:16:01 +00:00
|
|
|
gtk_text_buffer_insert (buffer, &iter, " can easily be realized with ", -1);
|
|
|
|
insert_link (buffer, &iter, "tags", 2);
|
|
|
|
gtk_text_buffer_insert (buffer, &iter, ".", -1);
|
|
|
|
}
|
|
|
|
else if (page == 2)
|
|
|
|
{
|
2011-09-02 03:55:47 +00:00
|
|
|
gtk_text_buffer_insert (buffer, &iter,
|
2008-07-06 07:24:02 +00:00
|
|
|
"A tag is an attribute that can be applied to some range of text. "
|
|
|
|
"For example, a tag might be called \"bold\" and make the text inside "
|
|
|
|
"the tag bold. However, the tag concept is more general than that; "
|
|
|
|
"tags don't have to affect appearance. They can instead affect the "
|
|
|
|
"behavior of mouse and key presses, \"lock\" a range of text so the "
|
|
|
|
"user can't edit it, or countless other things.\n", -1);
|
2003-08-05 19:16:01 +00:00
|
|
|
insert_link (buffer, &iter, "Go back", 1);
|
|
|
|
}
|
2011-09-02 03:55:47 +00:00
|
|
|
else if (page == 3)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
|
|
|
GtkTextTag *tag;
|
2011-09-02 03:55:47 +00:00
|
|
|
|
|
|
|
tag = gtk_text_buffer_create_tag (buffer, NULL,
|
|
|
|
"weight", PANGO_WEIGHT_BOLD,
|
2008-07-06 07:24:02 +00:00
|
|
|
NULL);
|
2003-08-05 19:16:01 +00:00
|
|
|
gtk_text_buffer_insert_with_tags (buffer, &iter, "hypertext:\n", -1, tag, NULL);
|
2011-09-02 03:55:47 +00:00
|
|
|
gtk_text_buffer_insert (buffer, &iter,
|
2008-07-06 07:24:02 +00:00
|
|
|
"machine-readable text that is not sequential but is organized "
|
|
|
|
"so that related items of information are connected.\n", -1);
|
2003-08-05 19:16:01 +00:00
|
|
|
insert_link (buffer, &iter, "Go back", 1);
|
|
|
|
}
|
2019-11-01 18:30:33 +00:00
|
|
|
gtk_text_buffer_end_irreversible_action (buffer);
|
2003-08-05 19:16:01 +00:00
|
|
|
}
|
|
|
|
|
2011-09-02 03:55:47 +00:00
|
|
|
/* Looks at all tags covering the position of iter in the text view,
|
2003-08-05 19:16:01 +00:00
|
|
|
* and if one of them is a link, follow it by showing the page identified
|
|
|
|
* by the data attached to it.
|
|
|
|
*/
|
|
|
|
static void
|
2011-09-02 03:55:47 +00:00
|
|
|
follow_if_link (GtkWidget *text_view,
|
2008-07-06 07:24:02 +00:00
|
|
|
GtkTextIter *iter)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
|
|
|
GSList *tags = NULL, *tagp = NULL;
|
|
|
|
|
|
|
|
tags = gtk_text_iter_get_tags (iter);
|
|
|
|
for (tagp = tags; tagp != NULL; tagp = tagp->next)
|
|
|
|
{
|
|
|
|
GtkTextTag *tag = tagp->data;
|
|
|
|
gint page = GPOINTER_TO_INT (g_object_get_data (G_OBJECT (tag), "page"));
|
|
|
|
|
|
|
|
if (page != 0)
|
|
|
|
{
|
2008-07-06 07:24:02 +00:00
|
|
|
show_page (gtk_text_view_get_buffer (GTK_TEXT_VIEW (text_view)), page);
|
|
|
|
break;
|
2003-08-05 19:16:01 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-09-02 03:55:47 +00:00
|
|
|
if (tags)
|
2003-08-05 19:16:01 +00:00
|
|
|
g_slist_free (tags);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Links can be activated by pressing Enter.
|
|
|
|
*/
|
|
|
|
static gboolean
|
2018-01-31 11:42:43 +00:00
|
|
|
key_pressed (GtkEventController *controller,
|
|
|
|
guint keyval,
|
|
|
|
guint keycode,
|
|
|
|
GdkModifierType modifiers,
|
|
|
|
GtkWidget *text_view)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
|
|
|
GtkTextIter iter;
|
|
|
|
GtkTextBuffer *buffer;
|
2017-08-28 22:47:03 +00:00
|
|
|
|
|
|
|
switch (keyval)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
2011-09-02 03:55:47 +00:00
|
|
|
case GDK_KEY_Return:
|
2010-09-08 17:35:51 +00:00
|
|
|
case GDK_KEY_KP_Enter:
|
2003-08-05 19:16:01 +00:00
|
|
|
buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (text_view));
|
2011-09-02 03:55:47 +00:00
|
|
|
gtk_text_buffer_get_iter_at_mark (buffer, &iter,
|
2003-08-05 19:16:01 +00:00
|
|
|
gtk_text_buffer_get_insert (buffer));
|
|
|
|
follow_if_link (text_view, &iter);
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2018-01-31 11:42:43 +00:00
|
|
|
return GDK_EVENT_PROPAGATE;
|
2003-08-05 19:16:01 +00:00
|
|
|
}
|
|
|
|
|
2018-01-16 04:24:50 +00:00
|
|
|
static void set_cursor_if_appropriate (GtkTextView *text_view,
|
|
|
|
gint x,
|
|
|
|
gint y);
|
|
|
|
|
2018-06-26 20:51:05 +00:00
|
|
|
static void
|
2019-05-29 17:10:46 +00:00
|
|
|
released_cb (GtkGestureClick *gesture,
|
|
|
|
guint n_press,
|
|
|
|
gdouble x,
|
|
|
|
gdouble y,
|
|
|
|
GtkWidget *text_view)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
|
|
|
GtkTextIter start, end, iter;
|
|
|
|
GtkTextBuffer *buffer;
|
2018-06-26 20:51:05 +00:00
|
|
|
int tx, ty;
|
2017-08-28 22:47:03 +00:00
|
|
|
|
2018-06-26 20:51:05 +00:00
|
|
|
if (gtk_gesture_single_get_button (GTK_GESTURE_SINGLE (gesture)) > 1)
|
|
|
|
return;
|
2003-08-05 19:16:01 +00:00
|
|
|
|
2018-01-16 04:24:50 +00:00
|
|
|
gtk_text_view_window_to_buffer_coords (GTK_TEXT_VIEW (text_view),
|
|
|
|
GTK_TEXT_WINDOW_WIDGET,
|
2018-06-26 20:51:05 +00:00
|
|
|
x, y, &tx, &ty);
|
2003-08-05 19:16:01 +00:00
|
|
|
|
|
|
|
buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (text_view));
|
|
|
|
|
|
|
|
/* we shouldn't follow a link if the user has selected something */
|
|
|
|
gtk_text_buffer_get_selection_bounds (buffer, &start, &end);
|
|
|
|
if (gtk_text_iter_get_offset (&start) != gtk_text_iter_get_offset (&end))
|
2018-06-26 20:51:05 +00:00
|
|
|
return;
|
2003-08-05 19:16:01 +00:00
|
|
|
|
2016-02-10 05:07:37 +00:00
|
|
|
if (gtk_text_view_get_iter_at_location (GTK_TEXT_VIEW (text_view), &iter, x, y))
|
|
|
|
follow_if_link (text_view, &iter);
|
2018-06-26 20:51:05 +00:00
|
|
|
}
|
2003-08-05 19:16:01 +00:00
|
|
|
|
2018-06-26 20:51:05 +00:00
|
|
|
static void
|
|
|
|
motion_cb (GtkEventControllerMotion *controller,
|
|
|
|
gdouble x,
|
|
|
|
gdouble y,
|
|
|
|
GtkTextView *text_view)
|
|
|
|
{
|
|
|
|
set_cursor_if_appropriate (text_view, x, y);
|
2003-08-05 19:16:01 +00:00
|
|
|
}
|
|
|
|
|
2006-10-08 05:07:55 +00:00
|
|
|
static gboolean hovering_over_link = FALSE;
|
2003-08-05 19:16:01 +00:00
|
|
|
|
2011-09-02 03:55:47 +00:00
|
|
|
/* Looks at all tags covering the position (x, y) in the text view,
|
2003-08-05 19:16:01 +00:00
|
|
|
* and if one of them is a link, change the cursor to the "hands" cursor
|
|
|
|
* typically used by web browsers.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
set_cursor_if_appropriate (GtkTextView *text_view,
|
|
|
|
gint x,
|
|
|
|
gint y)
|
|
|
|
{
|
|
|
|
GSList *tags = NULL, *tagp = NULL;
|
|
|
|
GtkTextIter iter;
|
|
|
|
gboolean hovering = FALSE;
|
|
|
|
|
2016-02-10 05:07:37 +00:00
|
|
|
if (gtk_text_view_get_iter_at_location (text_view, &iter, x, y))
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
2016-02-10 05:07:37 +00:00
|
|
|
tags = gtk_text_iter_get_tags (&iter);
|
|
|
|
for (tagp = tags; tagp != NULL; tagp = tagp->next)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
2016-02-10 05:07:37 +00:00
|
|
|
GtkTextTag *tag = tagp->data;
|
|
|
|
gint page = GPOINTER_TO_INT (g_object_get_data (G_OBJECT (tag), "page"));
|
|
|
|
|
|
|
|
if (page != 0)
|
|
|
|
{
|
|
|
|
hovering = TRUE;
|
|
|
|
break;
|
|
|
|
}
|
2003-08-05 19:16:01 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (hovering != hovering_over_link)
|
|
|
|
{
|
|
|
|
hovering_over_link = hovering;
|
|
|
|
|
|
|
|
if (hovering_over_link)
|
2017-11-04 02:16:26 +00:00
|
|
|
gtk_widget_set_cursor_from_name (GTK_WIDGET (text_view), "pointer");
|
2003-08-05 19:16:01 +00:00
|
|
|
else
|
2017-11-04 02:16:26 +00:00
|
|
|
gtk_widget_set_cursor_from_name (GTK_WIDGET (text_view), "text");
|
2003-08-05 19:16:01 +00:00
|
|
|
}
|
|
|
|
|
2011-09-02 03:55:47 +00:00
|
|
|
if (tags)
|
2003-08-05 19:16:01 +00:00
|
|
|
g_slist_free (tags);
|
|
|
|
}
|
|
|
|
|
|
|
|
GtkWidget *
|
2003-11-08 22:08:05 +00:00
|
|
|
do_hypertext (GtkWidget *do_widget)
|
2003-08-05 19:16:01 +00:00
|
|
|
{
|
|
|
|
static GtkWidget *window = NULL;
|
|
|
|
|
|
|
|
if (!window)
|
|
|
|
{
|
|
|
|
GtkWidget *view;
|
|
|
|
GtkWidget *sw;
|
|
|
|
GtkTextBuffer *buffer;
|
2018-01-31 11:42:43 +00:00
|
|
|
GtkEventController *controller;
|
2003-08-05 19:16:01 +00:00
|
|
|
|
2020-02-14 19:55:36 +00:00
|
|
|
window = gtk_window_new ();
|
2015-06-28 13:23:28 +00:00
|
|
|
gtk_window_set_title (GTK_WINDOW (window), "Hypertext");
|
2017-10-31 06:41:15 +00:00
|
|
|
gtk_window_set_display (GTK_WINDOW (window),
|
|
|
|
gtk_widget_get_display (do_widget));
|
2015-06-28 13:23:28 +00:00
|
|
|
gtk_window_set_default_size (GTK_WINDOW (window), 450, 450);
|
2011-09-02 03:55:47 +00:00
|
|
|
|
2003-08-05 19:16:01 +00:00
|
|
|
g_signal_connect (window, "destroy",
|
2008-07-06 07:24:02 +00:00
|
|
|
G_CALLBACK (gtk_widget_destroyed), &window);
|
2003-08-05 19:16:01 +00:00
|
|
|
|
|
|
|
view = gtk_text_view_new ();
|
|
|
|
gtk_text_view_set_wrap_mode (GTK_TEXT_VIEW (view), GTK_WRAP_WORD);
|
2016-02-10 05:07:37 +00:00
|
|
|
gtk_text_view_set_left_margin (GTK_TEXT_VIEW (view), 20);
|
|
|
|
gtk_text_view_set_right_margin (GTK_TEXT_VIEW (view), 20);
|
2018-04-20 17:58:06 +00:00
|
|
|
controller = gtk_event_controller_key_new ();
|
2018-01-31 11:42:43 +00:00
|
|
|
g_signal_connect (controller, "key-pressed", G_CALLBACK (key_pressed), view);
|
2018-04-20 17:58:06 +00:00
|
|
|
gtk_widget_add_controller (view, controller);
|
2018-06-26 20:51:05 +00:00
|
|
|
|
2019-05-29 17:10:46 +00:00
|
|
|
controller = GTK_EVENT_CONTROLLER (gtk_gesture_click_new ());
|
2018-06-26 20:51:05 +00:00
|
|
|
g_signal_connect (controller, "released",
|
|
|
|
G_CALLBACK (released_cb), view);
|
|
|
|
gtk_widget_add_controller (view, controller);
|
|
|
|
|
|
|
|
controller = gtk_event_controller_motion_new ();
|
|
|
|
g_signal_connect (controller, "motion",
|
|
|
|
G_CALLBACK (motion_cb), view);
|
|
|
|
gtk_widget_add_controller (view, controller);
|
2003-08-05 19:16:01 +00:00
|
|
|
|
|
|
|
buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (view));
|
2019-11-01 18:30:33 +00:00
|
|
|
gtk_text_buffer_set_enable_undo (buffer, TRUE);
|
2011-09-02 03:55:47 +00:00
|
|
|
|
2003-08-05 19:16:01 +00:00
|
|
|
sw = gtk_scrolled_window_new (NULL, NULL);
|
|
|
|
gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (sw),
|
2008-07-06 07:24:02 +00:00
|
|
|
GTK_POLICY_AUTOMATIC,
|
|
|
|
GTK_POLICY_AUTOMATIC);
|
2020-05-02 21:26:54 +00:00
|
|
|
gtk_window_set_child (GTK_WINDOW (window), sw);
|
2020-05-02 04:51:20 +00:00
|
|
|
gtk_scrolled_window_set_child (GTK_SCROLLED_WINDOW (sw), view);
|
2003-08-05 19:16:01 +00:00
|
|
|
|
|
|
|
show_page (buffer, 1);
|
|
|
|
}
|
|
|
|
|
2010-03-01 06:47:38 +00:00
|
|
|
if (!gtk_widget_get_visible (window))
|
2015-06-28 13:23:28 +00:00
|
|
|
gtk_widget_show (window);
|
2003-08-05 19:16:01 +00:00
|
|
|
else
|
2015-06-28 13:23:28 +00:00
|
|
|
gtk_widget_destroy (window);
|
2003-08-05 19:16:01 +00:00
|
|
|
|
|
|
|
return window;
|
|
|
|
}
|