Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Delete ast nodes #413

Merged
merged 8 commits into from
Dec 3, 2024
Merged

Delete ast nodes #413

merged 8 commits into from
Dec 3, 2024

Commits on Dec 2, 2024

  1. Standard saved format

    @joswarmer
    joswarmer committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    f6f37f3 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2024

  1. Fix null pointer in scoper

    @joswarmer
    joswarmer committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    15afa94 View commit details
    Browse the repository at this point in the history

  2. No semicolons anymore

    @joswarmer
    joswarmer committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    6d8eec0 View commit details
    Browse the repository at this point in the history

  3. Add property.isOptional to generated language description

    @joswarmer
    joswarmer committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    e6de789 View commit details
    Browse the repository at this point in the history

  4. Cleanup imports

    @joswarmer
    joswarmer committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    476f99b View commit details
    Browse the repository at this point in the history

  5. Cleanup code

    @joswarmer
    joswarmer committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    1018a3f View commit details
    Browse the repository at this point in the history

  6. Add property.isOptional to generated language definition

    @joswarmer
    joswarmer committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    298101a View commit details
    Browse the repository at this point in the history

  7. Add deleteTextBox in editor and call it at appropriate places.

    @joswarmer
    joswarmer committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    c534e31 View commit details
    Browse the repository at this point in the history