diff options
| author | Neil Hodgson <nyamatongwe@gmail.com> | 2017-07-29 11:23:49 +1000 |
|---|---|---|
| committer | Neil Hodgson <nyamatongwe@gmail.com> | 2017-07-29 11:23:49 +1000 |
| commit | f8b2724178d5b6e3e2d2fba7ae21f1ab7664a226 (patch) | |
| tree | d16ed69ca550a4e2cb185dcad47d5ac17ff120cc /gtk/ScintillaGTK.h | |
| parent | f0a4dd3186dcbabecb9afa145ce577238a3bda3f (diff) | |
| download | scintilla-mirror-f8b2724178d5b6e3e2d2fba7ae21f1ab7664a226.tar.gz | |
Backport: Bug [#1876]. Fix scrollbar and corner drawing and flickering of text.
Backport of changeset 6362:383b9c10d569.
Diffstat (limited to 'gtk/ScintillaGTK.h')
| -rw-r--r-- | gtk/ScintillaGTK.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gtk/ScintillaGTK.h b/gtk/ScintillaGTK.h index 40ed39ecd..8255db9c6 100644 --- a/gtk/ScintillaGTK.h +++ b/gtk/ScintillaGTK.h @@ -23,6 +23,7 @@ class ScintillaGTK : public ScintillaBase { Window scrollbarh; GtkAdjustment *adjustmentv; GtkAdjustment *adjustmenth; + Window wSelection; int verticalScrollBarWidth; int horizontalScrollBarHeight; @@ -139,6 +140,8 @@ private: static void ClipboardClearSelection(GtkClipboard* clip, void *data); void UnclaimSelection(GdkEventSelection *selection_event); + static void PrimarySelection(GtkWidget *widget, GtkSelectionData *selection_data, guint info, guint time_stamp, ScintillaGTK *sciThis); + static gboolean PrimaryClear(GtkWidget *widget, GdkEventSelection *event, ScintillaGTK *sciThis); void Resize(int width, int height); // Callback functions |