Changeset 134
- Timestamp:
- 05/09/05 14:12:57 (8 years ago)
- Location:
- trunk
- Files:
-
- 11 added
- 1 modified
-
examples/full_example-menu.html (modified) (1 diff)
-
plugins/Abbreviation (added)
-
plugins/Abbreviation/abbr (added)
-
plugins/Abbreviation/abbr/de.js (added)
-
plugins/Abbreviation/abbreviation.css (added)
-
plugins/Abbreviation/abbreviation.js (added)
-
plugins/Abbreviation/img (added)
-
plugins/Abbreviation/img/ed_abbreviation.gif (added)
-
plugins/Abbreviation/lang (added)
-
plugins/Abbreviation/lang/de.js (added)
-
plugins/Abbreviation/popups (added)
-
plugins/Abbreviation/popups/abbreviation.html (added)
Legend:
- Unmodified
- Added
- Removed
-
trunk/examples/full_example-menu.html
r132 r134 78 78 </label> 79 79 80 <label> 81 <input type="checkbox" name="plugins" value="Abbreviation" /> Abbreviation 82 </label> 83 80 84 </fieldset> 81 85
