forked from qt-creator/qt-creator
Editors: Move id() from editor to document.
Change-Id: Ib81076842ab1c16832224790194b001206404d64 Reviewed-by: hjk <hjk121@nokiamail.com> Reviewed-by: Eike Ziller <eike.ziller@digia.com>
This commit is contained in:
@@ -52,7 +52,6 @@ using namespace Android::Internal;
|
||||
JavaEditor::JavaEditor(JavaEditorWidget *editor)
|
||||
: BaseTextEditor(editor)
|
||||
{
|
||||
setId(Constants::JAVA_EDITOR_ID);
|
||||
setContext(Core::Context(Constants::C_JAVA_EDITOR,
|
||||
TextEditor::Constants::C_TEXTEDITOR));
|
||||
}
|
||||
@@ -112,6 +111,7 @@ TextEditor::BaseTextEditor *JavaEditorWidget::createEditor()
|
||||
JavaDocument::JavaDocument()
|
||||
: TextEditor::BaseTextDocument()
|
||||
{
|
||||
setId(Constants::JAVA_EDITOR_ID);
|
||||
setMimeType(QLatin1String(Constants::JAVA_MIMETYPE));
|
||||
setSyntaxHighlighter(TextEditor::createGenericSyntaxHighlighter(Core::MimeDatabase::findByType(QLatin1String(Constants::JAVA_MIMETYPE))));
|
||||
setIndenter(new JavaIndenter);
|
||||
|
||||
Reference in New Issue
Block a user