-
Johannes Schmid authored
Moved the Edit->Autocomplete menu item from language-support plugin to the document-manager to avoid conflicts between different language-support plugins. Also moved corresponding icons.
5776aac8
Moved the Edit->Autocomplete menu item from language-support plugin to the document-manager to avoid conflicts between different language-support plugins. Also moved corresponding icons.