diff options
| author | hallgren <hallgren@chalmers.se> | 2011-08-17 15:41:57 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-08-17 15:41:57 +0000 |
| commit | 9c8fbd74fea71f6b4e1861ad511db047e43ce2be (patch) | |
| tree | 1d2dae857d3bbafd3e09cae603bffe765fa90fac /src/ui | |
| parent | 4cad2daa299eeada33be819d3239ef6334147fd0 (diff) | |
gfse: fix an issue with Webkit browers
For lin and lincats with empty RHSs, there was nothing to point to to make the
edit button (the "%" button) appear in browsers based on Webkit
(Safari, Chrome).
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions