diff options
| author | Thomas Hallgren <th-github@altocumulus.org> | 2018-03-29 16:17:25 +0200 |
|---|---|---|
| committer | Thomas Hallgren <th-github@altocumulus.org> | 2018-03-29 16:17:25 +0200 |
| commit | 78cf1849574b8ba2709d1712202ebe34327c63f9 (patch) | |
| tree | 3bd331efa40bb57fd948840e4df44c9958f63343 /src/runtime/java/org | |
| parent | a9135c9b7ecf78dc4e78fd604969538ebd1b1ad4 (diff) | |
gfse: fix for some browser: hovering over an empty grammar comment to edit it
This was a problem in Safari (an other similar browsers I presume), but
not in Firefox: hovering over the grammar comment (shown below the grammar
name when you edit a grammar) didn't reveal the button to edit it, thus
preventing you from adding a comment. It was till possible by selecting the
"Enable editing on touch devices." at the bottom of the screen, but most
people probably didn't notice that it is possible to add a comment.
Diffstat (limited to 'src/runtime/java/org')
0 files changed, 0 insertions, 0 deletions