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

Editor Improvements #541

Closed
wants to merge 17 commits into from
Closed

Editor Improvements #541

wants to merge 17 commits into from

Commits on Aug 2, 2023

  1. Configuration menu
    Copy the full SHA
    a606cd2 View commit details
    Browse the repository at this point in the history
  2. Present errors

    zampino committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    a3f6782 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    76fdd7d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    f923970 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Configuration menu
    Copy the full SHA
    c567874 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6d316e5 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4ab54ef View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Add command-bar

    philippamarkovics committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    5461c77 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    dea48d9 View commit details
    Browse the repository at this point in the history
  3. Fix eval fn names

    philippamarkovics committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    267d6fa View commit details
    Browse the repository at this point in the history
  4. Add history ext

    philippamarkovics committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    63807a0 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    436f59f View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. Fix SSR job on CI

    zampino committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    a2f6104 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4dc8b44 View commit details
    Browse the repository at this point in the history
  3. Bump command-bar

    philippamarkovics committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    808a292 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    1683b82 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Configuration menu
    Copy the full SHA
    e2cd0b4 View commit details
    Browse the repository at this point in the history