Skip to content

Identify a document open (even if it is the same name) #92

@danyill

Description

@danyill

Currently, I think in plugins we can't identify a new document has been opened even if is the same document (and especially if there have been no edits made).

My testing of a plugin so far suggests that even if edits have been made and I am using editCount with a @state decorator I don't get a re-render (although I may be erring in some fashion).

Filing this issue as requested by Christian.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions