mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-25 08:36:35 +08:00
5e7c01c251
initially the user only sees the various themes, and has to activate customization mode to change colors. Tweak the appearance as well.
34 lines
1.8 KiB
HTML
34 lines
1.8 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<html ng-app="fishconfig">
|
|
|
|
<head>
|
|
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
|
|
<title>fish shell configuration</title>
|
|
<link rel="stylesheet" type="text/css" href="fishconfig.css"/>
|
|
<script type="text/javascript" src="js/angular.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">
|
|
<span style="font-size: 16pt; color: #CCC">fish</span><p id="global_error" class="error_msg" error-message></p>
|
|
<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')">bindings</div>
|
|
</div>
|
|
<div id="tab_contents">
|
|
<ng-view></ng-view>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</body></html>
|