From c1a134496f98a9849cb7e58c0238f36c5f7de7b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20Genov=C3=A9s?= Date: Wed, 18 Mar 2020 14:29:28 +0100 Subject: [PATCH] Readd copy html button --- data/ui/Menu.ui | 35 ++++++++++++++++++++++++++++++----- 1 file changed, 30 insertions(+), 5 deletions(-) diff --git a/data/ui/Menu.ui b/data/ui/Menu.ui index 336ae59..1dbb62a 100644 --- a/data/ui/Menu.ui +++ b/data/ui/Menu.ui @@ -160,8 +160,8 @@ True True True - app.preferences - Preferences + app.copy_html + Copy HTML False @@ -180,6 +180,31 @@ 8 + + + True + True + True + app.preferences + Preferences + + + False + True + 9 + + + + + True + False + + + False + True + 10 + + True @@ -191,7 +216,7 @@ False True - 9 + 11 @@ -205,7 +230,7 @@ False True - 10 + 12 @@ -219,7 +244,7 @@ False True - 11 + 13