GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-31 19:03:20 -06:00
Code Issues Packages Projects Releases Wiki Activity

RGL Browser: added show local option

Browse Source
This commit is contained in:
john.j.camilleri committed 2012-05-15 13:32:49 +00:00
1 parent f85af9eec0
commit 840e2def34
4 files changed
+13 -10
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

doc/browse/index.html
+3 -2
View File
@@ -32,8 +32,9 @@
&nbsp;<span id="scope_count">0</span> items&nbsp;
<input type="submit" id="submit" value="Filter" />
<input type="reset" id="clear" value="Clear" />
<input type="checkbox" id="case_sensitive" checked="checked" />
<label for="case_sensitive">Case sensitive?</label>
<input type="checkbox" id="case_sensitive" checked="checked" /><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>
<table id="scope_list"></table>
</div>
<div id="code" class="panel code">