Skip to content

Shake error when Fix line numbers button pressed #46

@el-sambal

Description

@el-sambal

Maybe it is good to also shake the error in case the Fix line numbers button is pressed on an unparseable proof, as done in #34. Thanks!

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions