mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-12-27 14:10:30 +00:00
fea2a82ef6
This creates a new GtkTextViewChild that can manage overlay children at given x,y offsets in buffer coordinates. This simplifies GtkTextView by extracting this from GtkTextWindow as well as providing a real widget for the borders. With this change, we also rename gtk_text_view_add_child_in_window() to gtk_text_view_add_overlay(). For those that were using GTK_TEXT_WINDOW_WIDGET, they can use a GtkOverlay. It does not appear that anyone was using GTK_TEXT_WINDOW_(LEFT|RIGHT|TOP|BOTTOM) for widgets in this fashion, but that can be done by setting a gutter widget with gtk_text_view_set_gutter(). We can make GtkTextViewChild public if necessary to simplify this should it become necessary. GtkTextViewChild will setup a CSS node of either "text" or "border" depending on the GtkTextWindowType. The old GtkTextViewChild has been renamed to AnchoredChild as it is only used for widgets with anchors in the GtkTextBuffer. This also removes the use of allocated GSList and instead embeds a GQueue and GList to save a few extraneous allocations.
40 lines
1.3 KiB
C
40 lines
1.3 KiB
C
/*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Library General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 2 of the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Library General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Library General Public
|
|
* License along with this library. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#include "config.h"
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
static void
|
|
set_border_window_size (GtkTextView *text_view,
|
|
GtkTextWindowType win,
|
|
gint size)
|
|
{
|
|
GtkWidget *label;
|
|
|
|
label = gtk_label_new (NULL);
|
|
gtk_widget_set_size_request (label, size, size);
|
|
gtk_text_view_set_gutter (text_view, win, label);
|
|
}
|
|
|
|
G_MODULE_EXPORT void
|
|
add_border_windows (GtkTextView *text_view)
|
|
{
|
|
set_border_window_size (text_view, GTK_TEXT_WINDOW_LEFT, 30);
|
|
set_border_window_size (text_view, GTK_TEXT_WINDOW_RIGHT, 30);
|
|
set_border_window_size (text_view, GTK_TEXT_WINDOW_TOP, 30);
|
|
set_border_window_size (text_view, GTK_TEXT_WINDOW_BOTTOM, 30);
|
|
}
|