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.

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

Feat/redesign variable pills #497

Open
wants to merge 10 commits into
base: master
Choose a base branch
from

Commits on Nov 5, 2024

  1. Configuration menu
    Copy the full SHA
    019c931 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f17a21a View commit details
    Browse the repository at this point in the history
  3. cleanup

    lagartoverde committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    027ded2 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. Configuration menu
    Copy the full SHA
    8583e98 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b07cd80 View commit details
    Browse the repository at this point in the history
  3. use new editor version

    lagartoverde committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    7e162b2 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ecdf7ee View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    5818d04 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    703c632 View commit details
    Browse the repository at this point in the history
  7. linting

    lagartoverde committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    6e601ef View commit details
    Browse the repository at this point in the history