From 74bea8724427c4f9e3126295961763145ab47006 Mon Sep 17 00:00:00 2001
From: Andre Eckardt <hi@noyron.de>
Date: Fri, 2 Jun 2023 14:07:08 +0200
Subject: [PATCH] improved print CSS for fish_config

This commit introduces a fishconfig_print.css that contains special CSS styles that only apply when printing the fishconfig page. This is especially useful when the user wants to print out the key bindings.

(cherry picked from commit cbf9a3bbbd2e6c0aa86011dc3249f4243710d704)
---
 share/tools/web_config/fishconfig.css         |  4 +++
 share/tools/web_config/fishconfig_print.css   | 30 +++++++++++++++++++
 share/tools/web_config/index.html             |  3 +-
 share/tools/web_config/partials/bindings.html |  2 +-
 share/tools/web_config/partials/history.html  |  2 +-
 .../tools/web_config/partials/variables.html  |  2 +-
 6 files changed, 39 insertions(+), 4 deletions(-)
 create mode 100644 share/tools/web_config/fishconfig_print.css

diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css
index 195bf52b4..934fb50cb 100644
--- a/share/tools/web_config/fishconfig.css
+++ b/share/tools/web_config/fishconfig.css
@@ -664,3 +664,7 @@ img.delete_icon {
         color: #AAA;
     }
 }
+
+.print_only {
+    display: none;
+}
diff --git a/share/tools/web_config/fishconfig_print.css b/share/tools/web_config/fishconfig_print.css
new file mode 100644
index 000000000..ec2e3386e
--- /dev/null
+++ b/share/tools/web_config/fishconfig_print.css
@@ -0,0 +1,30 @@
+body {
+    background: white;
+    font-size: 8pt;
+}
+
+.tab, .print_hidden {
+    display: none;
+}
+
+.tab.selected_tab {
+    background: white;
+    display: block;
+    font-size: 22pt;
+    font-weight: bold;
+    padding-left: 14pt;
+    text-align: left;
+}
+
+.print_only {
+    display: initial;
+}
+
+.data_table_cell {
+    border-bottom: #dbdbdb 1pt solid;
+}
+
+#ancestor {
+    width: 100%;
+    box-shadow: none;
+}
diff --git a/share/tools/web_config/index.html b/share/tools/web_config/index.html
index 64169c83b..affb61032 100644
--- a/share/tools/web_config/index.html
+++ b/share/tools/web_config/index.html
@@ -6,6 +6,7 @@
     <title>fish shell configuration</title>
     <link rel="icon" type="image/png" href="favicon.png"/>
     <link rel="stylesheet" type="text/css" href="fishconfig.css"/>
+    <link rel="stylesheet" type="text/css" media="print" href="fishconfig_print.css">
     <script type="text/javascript" src="js/angular.js"></script>
     <script type="text/javascript" src="js/angular-route.js"></script>
     <script type="text/javascript" src="js/angular-sanitize.js"></script>
@@ -26,7 +27,7 @@
             <div ng-class="{'tab': true, 'selected_tab': currentTab == 'functions'}" id="tab_functions" ng-click="changeView('functions')">functions</div>
             <div ng-class="{'tab': true, 'selected_tab': currentTab == 'variables'}" id="tab_variables" ng-click="changeView('variables')">variables</div>
             <div ng-class="{'tab': true, 'selected_tab': currentTab == 'history'}" id="tab_history" ng-click="changeView('history')">history</div>
-            <div ng-class="{'tab': true, 'selected_tab': currentTab == 'bindings'}" id="tab_bindings" ng-click="changeView('bindings')">bindings</div>
+            <div ng-class="{'tab': true, 'selected_tab': currentTab == 'bindings'}" id="tab_bindings" ng-click="changeView('bindings')"><span class="print_only">fish shell </span>bindings</div>
         </div>
         <div id="tab_contents">
         <ng-view></ng-view>
diff --git a/share/tools/web_config/partials/bindings.html b/share/tools/web_config/partials/bindings.html
index 5c53fd9c7..f5d25e227 100644
--- a/share/tools/web_config/partials/bindings.html
+++ b/share/tools/web_config/partials/bindings.html
@@ -1,5 +1,5 @@
 <div id="table_filter_container" style="display: block;">
-    <input id="table_filter_text_box" class="filter_text_box text_box_transient" placeholder="Filter" ng-model="query">
+    <input id="table_filter_text_box" class="filter_text_box text_box_transient print_hidden" placeholder="Filter" ng-model="query">
 </div>
 
 <table class="data_table">
diff --git a/share/tools/web_config/partials/history.html b/share/tools/web_config/partials/history.html
index 32469b603..f0856ef97 100644
--- a/share/tools/web_config/partials/history.html
+++ b/share/tools/web_config/partials/history.html
@@ -14,7 +14,7 @@
     </table>
 
     <span ng-show="loadingText.length > 0"> {{ loadingText }} </span>
-    <input id="table_filter_text_box" class="filter_text_box text_box_transient" placeholder="Filter" ng-model="queryInput">
+    <input id="table_filter_text_box" class="filter_text_box text_box_transient print_hidden" placeholder="Filter" ng-model="queryInput">
 </div>
 <table class="data_table">
     <tbody>
diff --git a/share/tools/web_config/partials/variables.html b/share/tools/web_config/partials/variables.html
index 04b223881..84836739c 100644
--- a/share/tools/web_config/partials/variables.html
+++ b/share/tools/web_config/partials/variables.html
@@ -1,5 +1,5 @@
 <div id="table_filter_container">
-    <input id="table_filter_text_box" class="filter_text_box text_box_transient" placeholder="Filter" ng-model="query">
+    <input id="table_filter_text_box" class="filter_text_box text_box_transient print_hidden" placeholder="Filter" ng-model="query">
 </div>
 
 <table class="data_table">