diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-26 17:08:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-26 17:08:29 +0000 |
| commit | 671c9b539040f2f3e75bac96630805236a97d298 (patch) | |
| tree | 29a1868d0e5bd55460af8f8e1abe802f428849cf /src/runtime | |
| parent | 14e712595883fa068cd498bf9749d49e55b8c333 (diff) | |
gfse&minibar: fix bug caused by function name clash
+ Function div_id was defined in both editor.js and support.js. Solution:
moved the more general version from editor.js to support.js.
+ Function div_class was defined in both editor.js and support.js. Solution:
resolv incompatibility with an argument type test and put the generalized
function in support.js.
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions
