john.j.camilleri
|
d6ab155bdf
|
RGL browser: remove duplicates in API tab
For some reason I was scanning both Syntax and
Constructors, Cat, Structural, Combinators
even though the former imports all the latter...
|
2014-06-30 07:35:59 +00:00 |
|
john.j.camilleri
|
448ceb70e4
|
RGL browser: update build-tags.sh to work on OSX
To run on GNU Linux you need to un/comment some stuff in the file.
To run on Windows... lol
|
2014-02-13 15:24:57 +00:00 |
|
john.j.camilleri
|
19e628f2fb
|
RGL browser: add recent modules list
|
2014-01-29 13:21:52 +00:00 |
|
john.j.camilleri
|
e249ae54d1
|
RGL browser: add ability to search for module name
|
2014-01-29 10:53:07 +00:00 |
|
john.j.camilleri
|
8f25794013
|
RGL Browser: now includes Syntax Editor tab!
|
2013-07-25 07:36:34 +00:00 |
|
john.j.camilleri
|
39406ae041
|
RGL Browser: mostly cosmetic improvements
|
2013-07-24 15:03:48 +00:00 |
|
john.j.camilleri
|
32e45060fb
|
RGL browser: fix scrolling to line
|
2013-07-24 07:07:50 +00:00 |
|
john.j.camilleri
|
ec6479a772
|
RGL Browser: fix issue with jumping to code locations
|
2013-07-23 14:42:59 +00:00 |
|
john.j.camilleri
|
f9cb34b0b5
|
RGL Browse: version 2, including API search
Also using a jquery panel framework for layout stuff.
|
2013-07-23 14:16:42 +00:00 |
|
john.j.camilleri
|
5fc285a01c
|
RGL browser: escape html when printing code (by using .text() instead of .html())
|
2013-05-24 09:41:01 +00:00 |
|
john.j.camilleri
|
3ecc8cd4d3
|
RGL browser: add GF logo, give full name in page title
|
2013-04-03 07:02:53 +00:00 |
|
john.j.camilleri
|
64675f8f0a
|
RGL browser: move help button, re-add synopsis link
|
2013-01-29 11:05:26 +00:00 |
|
john.j.camilleri
|
7b4d9027c3
|
RGL Browser: a bunch of style updates to make it less fugly
|
2013-01-21 10:44:30 +00:00 |
|
john.j.camilleri
|
aeb2717a22
|
RGL Browser: added favicon
|
2012-07-17 08:01:43 +00:00 |
|
john.j.camilleri
|
b0dfbb3f66
|
RGL Browser: updates
|
2012-07-11 13:27:00 +00:00 |
|
john.j.camilleri
|
2675fceebe
|
RGL Browser: bug fix
|
2012-06-11 10:43:41 +00:00 |
|
john.j.camilleri
|
2f57fe3c67
|
RGL Browser: Improved UI, history support
|
2012-05-25 09:49:12 +00:00 |
|
john.j.camilleri
|
061221e68c
|
RGL Browser: some interface and behavioural improvements
|
2012-05-23 07:11:59 +00:00 |
|
john.j.camilleri
|
689f9c08c1
|
RGL Browser: proper syntax highlighting for GF
|
2012-05-16 10:37:29 +00:00 |
|
john.j.camilleri
|
d7042b1ad0
|
RGL browser: bug in "show local". better screen-space usage.
|
2012-05-15 14:03:41 +00:00 |
|
john.j.camilleri
|
840e2def34
|
RGL Browser: added show local option
|
2012-05-15 13:32:49 +00:00 |
|
john.j.camilleri
|
f85af9eec0
|
RGL Browser updates
Added files which didn't get added in previous patch (bloody darcs)
|
2012-05-15 12:10:30 +00:00 |
|
john.j.camilleri
|
0bf70c096e
|
RGL Browser updates
- Better layout
- Jump to defition
- Syntax highlighting, line numbers
|
2012-05-15 12:08:18 +00:00 |
|
john.j.camilleri
|
066a0f2b3e
|
RGL Browser: small user guide, less crash-prone
|
2012-05-14 14:29:11 +00:00 |
|
john.j.camilleri
|
89f9565617
|
Fixed encoding issue in Web RGL Browser
|
2012-05-11 13:49:43 +00:00 |
|
john.j.camilleri
|
f6ff96c647
|
RGL Browser
(added files which didn't add in previous patch)
|
2012-05-11 12:00:52 +00:00 |
|