GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

RGL browser: move help button, re-add synopsis link

Browse Source
This commit is contained in:
john.j.camilleri
2013-01-29 11:05:26 +00:00
parent 87545f3f83
commit 229853e46f
3 changed files with 15 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/doc/browse/index.html
View File

@@ -13,6 +13,8 @@
<body>
<header>
<h1>RGL Source Browser</h1>
<a class="tab help" href="#help">Help</a>
<a href="http://www.grammaticalframework.org/lib/doc/synopsis.html" target="_blank">Synopsis...</a>
</header>
<div id="loading">
<img src="ajax-loader.gif" /> Loading...
@@ -25,6 +27,8 @@
<div class="pane right">
<div id="tabbar">
Module: <span id="module_name">...</span>
<a class="tab scope" href="#scope">scope</a>
<a class="tab code" href="#code">code</a>
</div>
<div id="scope" class="panel scope maxheight">
<div id="scope_controls">
@@ -93,7 +97,7 @@
<br style="clear:both" />
</div>
<footer id="footer">
John J. Camilleri<br/><em>Updated 2012-07-11</em>
John J. Camilleri<br/><em>Updated 2013-01-29</em>
</footer>
<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"></script>
<script src="jquery.history.min.js"></script>

18
lib/doc/browse/script.js
View File

@@ -177,19 +177,11 @@ $(document).ready(function() {
}
});
// Initialize the panels & tabs
$(".panel").each(function(a,b){
$("<a>")
.addClass('tab')
.addClass($(b).attr('id'))
.attr('href', '#'+$(b).attr('id'))
.html($(b).attr('id'))
.click(function(){
showPanel(b);
return false;
})
// .appendTo("#tabbar")
.insertAfter("#tabbar *:last-child")
// Initialize the panels, tabs
$("a.tab").click(function(){
var panel = $(this).attr("href");
showPanel(panel);
return false;
});
showPanel(".panel:first");

6
lib/doc/browse/style.css
View File

@@ -23,8 +23,12 @@ header {
padding:10px;
}
header h1 {
margin:0;
margin:0 1em 0 0;
font-size:1em;
display: inline-block;
}
header .tab {
font-size: 90%;
}
div[role='main'] {
overflow:hidden;