mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-12-02 16:04:05 +08:00
74bea87244
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)
39 lines
2.0 KiB
HTML
39 lines
2.0 KiB
HTML
<!DOCTYPE html>
|
|
<html ng-app="fishconfig">
|
|
|
|
<head>
|
|
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
|
|
<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>
|
|
<script type="text/javascript" src="js/colorutils.js"></script>
|
|
<script type="text/javascript" src="js/filters.js"></script>
|
|
<script type="text/javascript" src="js/controllers.js"></script>
|
|
<script type="text/javascript" src="js/app.js"></script>
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div id="ancestor">
|
|
<!-- TODO: Add logo -->
|
|
<div id="parent">
|
|
<div id="tab_parent" ng-controller="main">
|
|
<div ng-class="{'tab': true, 'selected_tab': currentTab =='colors'}" id="tab_colors" ng-click="changeView('colors')">colors</div>
|
|
<div ng-class="{'tab': true, 'selected_tab': currentTab == 'prompt'}" id="tab_prompt" ng-click="changeView('prompt')">prompt</div>
|
|
<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')"><span class="print_only">fish shell </span>bindings</div>
|
|
</div>
|
|
<div id="tab_contents">
|
|
<ng-view></ng-view>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|