Skip to content

[idea] use Properties Editor as editor #4

@paulvi

Description

@paulvi
ID: org.eclipse.jdt.ui.PropertiesFileEditor
Class: org.eclipse.jdt.internal.ui.propertiesfileeditor.PropertiesFileEditor
Superclass: org.eclipse.ui.editors.text.TextEditor
Plug-in: org.eclipse.jdt.ui

This however makes dependency on JDT, so no going with it.

Also it doesn't understand exclusions like !*/help/.*.md.html (it shows it as comment)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions