2012-04-12 09:26:10 +08:00
|
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
2013-10-13 02:45:37 +08:00
|
|
|
<html ng-app="fishconfig">
|
2012-03-15 18:43:45 +08:00
|
|
|
|
2013-10-23 01:30:38 +08:00
|
|
|
<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>
|
2012-03-15 18:43:45 +08:00
|
|
|
</head>
|
2013-10-23 01:30:38 +08:00
|
|
|
|
2012-03-15 18:43:45 +08:00
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<div id="ancestor">
|
2014-02-24 17:56:02 +08:00
|
|
|
<span style="font-size: 16pt; color: #CCC">fish</span><p id="global_error" class="error_msg" error-message></p>
|
2012-03-15 18:43:45 +08:00
|
|
|
<div id="parent">
|
2013-08-17 02:32:58 +08:00
|
|
|
<div id="tab_parent" ng-controller="main">
|
2013-10-20 01:17:18 +08:00
|
|
|
<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>
|
2014-10-05 12:19:57 +08:00
|
|
|
<div ng-class="{'tab': true, 'selected_tab': currentTab == 'abbreviations'}" id="tab_abbreviations" ng-click="changeView('abbreviations')">abbreviations</div>
|
2012-03-15 18:43:45 +08:00
|
|
|
</div>
|
2012-03-26 13:41:22 +08:00
|
|
|
<div id="tab_contents">
|
2013-08-17 02:32:58 +08:00
|
|
|
<ng-view></ng-view>
|
2012-03-26 13:41:22 +08:00
|
|
|
</div>
|
2012-03-15 18:43:45 +08:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</body></html>
|
