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

gfse: initial support for module extension

Browse Source 
There is a new way to create a new grammar based on an existing grammar:
by extending it. (It is also possible to clone an existing grammar, a before.)
This commit is contained in:
hallgren
2012-02-09 18:00:36 +00:00
parent 4079e1b413
commit 86d5973b2e
5 changed files with 169 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/www/gfse/editor.css
View File

@@ -17,6 +17,9 @@ div#file, pre.plain { background: white; padding: 0.6ex; }
img.cloud, img.right, div.right, div.modtime { float: right; }
.modtime { color: #999; white-space: nowrap; }
table.grammar_list { border-collapse: collapse; margin-left: 1.0em; }
table.grammar_list td { padding: 0.4ex 0.25em; }
div.namebar { background: #9df; }
div.namebar table { width: 100%; }
.namebar h3, .home h3 { margin: 0; color: #009; }
@@ -45,7 +48,8 @@ div.template:hover
.editable:hover, .deletable:hover { background: #ff9; }
.extensible:hover .more,.editable:hover > .edit ,.deletable:hover > .delete
.extensible:hover .more,.editable:hover > .edit ,.deletable:hover > .delete,
tr.deletable:hover .delete
{ visibility: visible; }
.more { color: green; }