6 Commits

Include renames

Author	SHA1	Message	Date
john.j.camilleri	061221e68c	RGL Browser: some interface and behavioural improvements	2012-05-23 07:11:59 +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	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	f6ff96c647	RGL Browser ... (added files which didn't add in previous patch)	2012-05-11 12:00:52 +00:00