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

RGL Browse: version 2, including API search

Browse Source 
Also using a jquery panel framework for layout stuff.
This commit is contained in:
john.j.camilleri
2013-07-23 14:16:42 +00:00
parent b6267b8296
commit 77b987103d
5 changed files with 351 additions and 250 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,55 +1,75 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
<title>RGL Source Browser</title>
<meta name="description" content="">
<meta name="viewport" content="width=device-width">
<link rel="shortcut icon" href="icon.png" type="image/png">
<link rel="stylesheet" href="style.css">
<link rel="stylesheet" href="google-code-prettify/prettify-gf.css">
</head>
<body>
<header>
<img src="../../../doc/Logos/gf0.png" alt="" />
<h1 title="...or ‘GFRGLSB’ as we like to call it">GF Resource Grammar Library 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...
</div>
<div role="main">
<div class="pane left">
<div id="languages"></div>
<div id="modules" class="maxheight scroll-y"></div>
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
<title>RGL Source Browser</title>
<meta name="description" content="">
<meta name="viewport" content="width=device-width">
<link rel="shortcut icon" href="icon.png" type="image/png">
<link rel="stylesheet" href="google-code-prettify/prettify-gf.css">
<link rel="stylesheet" href="http://layout.jquery-dev.net/lib/css/layout-default-latest.css" />
<link rel="stylesheet" href="style.css">
<script type="text/javascript" src="http://code.jquery.com/jquery-1.10.2.min.js"></script>
<script type="text/javascript" src="http://code.jquery.com/ui/1.10.3/jquery-ui.min.js"></script>
<script type="text/javascript" src="http://layout.jquery-dev.net/lib/js/jquery.layout-latest.js"></script>
<script type="text/javascript">
$(document).ready(function () {
$('body').layout({
applyDemoStyles: false,
north: {
closable: false,
resizable: false,
spacing_open: 0,
}
});
});
</script>
<script src="jquery.history.min.js"></script>
<script src="google-code-prettify/prettify.js"></script>
<script src="google-code-prettify/lang-gf.js"></script>
<script src="script.js"></script>
</head>
<body>
<div id="loading">
<img src="ajax-loader.gif" /> Loading...
</div>
<div class="pane right">
<div class="ui-layout-center">
<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>
<a class="tab api" href="#api">API</a>
</div>
<div id="scope" class="panel scope maxheight">
<div id="scope_controls">
<div id="scope" class="panel scope">
<div id="controls">
<input type="text" id="search" />
&nbsp;<span id="scope_count">0</span> items&nbsp;
<input type="submit" id="submit" value="Filter" />
&nbsp;<span id="count">0</span> items&nbsp;
<input type="reset" id="clear" value="Clear" />
<input type="checkbox" id="case_sensitive" /><label for="case_sensitive">Case sensitive?</label>
<!-- input type="checkbox" id="case_sensitive" /><label for="case_sensitive">Case sensitive?</label -->
<input type="radio" name="show" id="show_all" checked="checked" /><label for="show_all">Show all</label>
<input type="radio" name="show" id="show_local" /><label for="show_local">Local only</label>
</div>
<div class="maxheight scroll-y">
<table id="scope_list"></table>
<table id="results"></table>
</div>
<div id="code" class="panel code">
<pre class="prettyprint lang-gf linenums"></pre>
</div>
<div id="api" class="panel api">
Search the API by constructor name <strong>or</strong> type signature:
<div id="controls">
<input type="text" id="search" />
&nbsp;<span id="count">0</span> items&nbsp;
<input type="reset" id="clear" value="Clear" />
</div>
<table id="results"></table>
</div>
<div id="code" class="panel code maxheight">
<pre class="prettyprint lang-gf linenums maxheight scroll-y"></pre>
</div>
<div id="help" class="panel help maxheight">
<div class="maxheight scroll-y">
<div id="help" class="panel help">
<h3>About</h3>
<p>A basic tool for looking through scopes and quickly jumping to code within GF's resource grammar library (RGL), created out of necessity. All feedback is welcome.</p>
@@ -87,23 +107,26 @@
<h4>Something is missing or out of date</h4>
<p>All the scoping information shown is not read directly from the RGL on-demand. There is an in-between processing stage which must be run, so if something seems out of date just let me know and I can udpate things manually.</p>
<h4>To-Do</h4>
<ul>
<li>Some way of browsing just the API</li>
<li>The page sometimes stalls when handling large files (in particular the dictionary modules)</li>
</ul>
</div>
</div>
</div>
<br style="clear:both" />
</div>
<footer id="footer">
John J. Camilleri<br/><em>Updated 2013-05-24</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>
<script src="google-code-prettify/prettify.js"></script>
<script src="google-code-prettify/lang-gf.js"></script>
<script src="script.js"></script>
</body>
</html>
<div class="ui-layout-north">
<header>
<img src="../../../doc/Logos/gf0.png" alt="" />
<h1 title="...or ‘GFRGLSB’ as we like to call it">GF Resource Grammar Library 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>
<footer id="footer">
John J. Camilleri<br/><em>Updated 2013-07-23</em>
</footer>
</div>
<div class="ui-layout-west">
<div id="languages"></div>
<div id="modules"></div>
</div>
</body>
</html>