gnome-terminal/gnome-terminal-Comment-out-tab-dragging-description.patch

35 lines
778 B
Diff

From 34e3afa46e28de044e1a5094b6e319da2fa423d1 Mon Sep 17 00:00:00 2001
From: Christian Persch <chpe@src.gnome.org>
Date: Thu, 25 Oct 2018 16:49:55 +0200
Subject: [PATCH] help: Comment out tab dragging description
Dragging tabs is currently disabled.
(cherry picked from commit adf7e5cf90907372cc7da878fcae302d5d6e4674)
---
help/C/gs-tabs.page | 2 ++
1 file changed, 2 insertions(+)
diff --git a/help/C/gs-tabs.page b/help/C/gs-tabs.page
index 283f8476..cd89476b 100644
--- a/help/C/gs-tabs.page
+++ b/help/C/gs-tabs.page
@@ -127,6 +127,7 @@
</section>
+ <!--
<section id="move-tab-another-window">
<title>Move a tab to another <app>Terminal</app> window</title>
@@ -171,5 +172,6 @@
</item>
</steps>
</section>
+ -->
</page>
--
2.18.1