diff options
| author | Thomas Hallgren <th-github@altocumulus.org> | 2018-03-29 17:02:22 +0200 |
|---|---|---|
| committer | Thomas Hallgren <th-github@altocumulus.org> | 2018-03-29 17:02:22 +0200 |
| commit | 750a1349ffad116d57b46ea5f816e678018a1d7f (patch) | |
| tree | 2a6af79a14c429e779d21aef3c455895ac702f4a /src/pgf-binary | |
| parent | 78cf1849574b8ba2709d1712202ebe34327c63f9 (diff) | |
gfse: allow public grammars to be deleted in more cases
The editor doesn't show delete buttons on grammars published by other
users, but it was too picky when deciding which grammars you own. Now
it should be possible to delete grammars from the device/browser
you published it from, even if you don't have a private copy of it any more.
On a related note, there seems to be problem with the way unique grammars
names are created and maintained, causing published grammars to be duplicated
in some cases. This needs to be overhauled.
Diffstat (limited to 'src/pgf-binary')
0 files changed, 0 insertions, 0 deletions