Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
I tried this change, and it seems to be enough to get at least basic functionality back:
diff --git a/scintilla/gtk/ScintillaGTK.cxx b/scintilla/gtk/ScintillaGTK.cxx
index d2780a959..72744b2b7 100644
--- a/scintilla/gtk/ScintillaGTK.cxx
+++ b/scintilla/gtk/ScintillaGTK.cxx
@@ -1501,8 +1501,8 @@ void ScintillaGTK::PrimaryClearSelection(GtkClipboard *clip, gpointer pSci) {
void ScintillaGTK::ClaimSelection() {
// X Windows has a 'primary selection' as well as the clipboard.
// Whenever the user selects some text, we become the primary selection
- ClearPrimarySelection();
if (!sel.Empty()) {
+ ClearPrimarySelection();
if (gtk_clipboard_set_with_data(
gtk_clipboard_get(GDK_SELECTION_PRIMARY),
clipboardCopyTargets, nClipboardCopyTargets,The behavior seems similar to e.g. VTE.
The thing is that it's now trickier to clear the PRIMARY selection: you have to make another one and cancel that new one before pasting it. But at least we get back consecutive pasting.
@nyamatongwe would you potentially accept something like that, or did I miss glaring problems it could cause?
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.