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