src/Tools/jEdit/src/spell_checker.scala
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-19 wenzelm 2014-04-19 clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
2014-04-17 wenzelm 2014-04-17 proper tooltip_lines for multi-line text;
2014-04-16 wenzelm 2014-04-16 more uniform treatment of word case for check / complete;
2014-04-16 wenzelm 2014-04-16 clarified word case; more robust treatment of codepoints;
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-15 wenzelm 2014-04-15 more context-sensitivity;
2014-04-15 wenzelm 2014-04-15 common context menu for Isabelle/jEdit;
2014-04-15 wenzelm 2014-04-15 tuned;
2014-04-15 wenzelm 2014-04-15 tuned;
2014-04-15 wenzelm 2014-04-15 tuned menu;
2014-04-14 wenzelm 2014-04-14 tuned;
2014-04-14 wenzelm 2014-04-14 added context menu for spell checker actions;
2014-04-14 wenzelm 2014-04-14 some actions to maintain spell-checker dictionary;
2014-04-14 wenzelm 2014-04-14 more explicit user declarations for main dictionary; support non-permanent declarations;
2014-04-14 wenzelm 2014-04-14 support for persistent user dictionaries;
2014-04-14 wenzelm 2014-04-14 tuned;
2014-04-14 wenzelm 2014-04-14 eliminated somewhat pointless locale parameter;
2014-04-13 wenzelm 2014-04-13 tuned;
2014-04-13 wenzelm 2014-04-13 clarified complete: participate in case-mangling of check;
2014-04-13 wenzelm 2014-04-13 tuned;
2014-04-13 wenzelm 2014-04-13 added spell-checker completion dialog, without counting frequency of items due to empty name; tuned signature;
2014-04-13 wenzelm 2014-04-13 tuned signature;
2014-04-13 wenzelm 2014-04-13 special treatment for '' ligature in TeX, which counts as word separator
2014-04-13 wenzelm 2014-04-13 more elementary notion of "word" (similar to VoxSpell) -- treat hyphen as separator;
2014-04-13 wenzelm 2014-04-13 added dictionaries_selector GUI; tuned;
2014-04-13 wenzelm 2014-04-13 tuned signature -- explicit Spell_Checker_Variable;
2014-04-13 wenzelm 2014-04-13 updated to jortho-1.0-1: dictionaries from SCOWL 7.1, with parameters like aspell; simplified dictionary file format; tuned signature;
2014-04-12 wenzelm 2014-04-12 some case-mangling; clarified use of locale;
2014-04-12 wenzelm 2014-04-12 added bad_words; more explicit language and locale;
2014-04-11 wenzelm 2014-04-11 added spell-checker based on jortho-1.0;