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 | 685c1c667e33144f014c23fd94e3ccd7abf7779b (patch) | |
| tree | e37f57c9f3306385ac637fee8bf6cda5e5574ddf /gtk/ScintillaGTK.h | |
| parent | 6d70cdf468c8b48cd178b6c11d525790b7414cdf (diff) | |
| download | scintilla-mirror-685c1c667e33144f014c23fd94e3ccd7abf7779b.tar.gz | |
Bug [#1876]. Fix scrollbar and corner drawing and flickering of text.
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 |