Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-12-31 23:28:45 +00:00
Code Issues Projects Releases Packages Wiki Activity

improved print CSS for fish_config

Browse source 
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 cbf9a3bbbd)
This commit is contained in:
Andre Eckardt 2023-06-02 14:07:08 +02:00 committed by Fabian Boehm
parent c6c6ac1c69
commit 74bea87244
6 changed files with 39 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
share/tools/web_config/fishconfig.css
View file

@ -664,3 +664,7 @@ img.delete_icon {
color: #AAA;
}
}
.print_only {
display: none;
}

30
share/tools/web_config/fishconfig_print.css Normal file
View file

@ -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;
}

3
share/tools/web_config/index.html
View file

@ -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>

2
share/tools/web_config/partials/bindings.html
View file

@ -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">

2
share/tools/web_config/partials/history.html
View file

@ -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>

2
share/tools/web_config/partials/variables.html
View file

@ -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">