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

Jump to bottom

A new playground #71

Merged
merged 16 commits into from
Feb 22, 2022
Merged

A new playground #71

merged 16 commits into from
Feb 22, 2022

Commits on Feb 21, 2022

  1. Initial work on new REPL

    @robotlolita
    robotlolita committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    9231a79 View commit details
    Browse the repository at this point in the history

  2. Minimally working REPL

    @robotlolita
    robotlolita committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    59b2767 View commit details
    Browse the repository at this point in the history

  3. Handle initialisation errors

    @robotlolita
    robotlolita committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    f321dc3 View commit details
    Browse the repository at this point in the history

  4. Remove resize handle from auto-sized textareas

    @robotlolita
    robotlolita committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    8a87ed1 View commit details
    Browse the repository at this point in the history

  5. Snap scrolling to bottom

    @robotlolita
    robotlolita committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    ddd7b50 View commit details
    Browse the repository at this point in the history

  6. Custom representations

    @robotlolita
    robotlolita committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    d9c161f View commit details
    Browse the repository at this point in the history

  7. Tabbed representations

    @robotlolita
    robotlolita committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    e6ca77d View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2022

  1. Less frustrating scroll pin

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    bd8507e View commit details
    Browse the repository at this point in the history

  2. Only render newly added nodes

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    2ab01f0 View commit details
    Browse the repository at this point in the history

  3. Use code-mirror for editor

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    6bf4516 View commit details
    Browse the repository at this point in the history

  4. Minimal syntax highlight for Crochet

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    2a95424 View commit details
    Browse the repository at this point in the history

  5. Syntax highlighting and some tweaks on line height

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    b34e27f View commit details
    Browse the repository at this point in the history

  6. Add playground command

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    4510418 View commit details
    Browse the repository at this point in the history

  7. Fix modifiers and todo example

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    b2e1a2b View commit details
    Browse the repository at this point in the history

  8. Fix chat example

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    37587e4 View commit details
    Browse the repository at this point in the history

  9. Update readme

    @robotlolita
    robotlolita committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    0a56ed4 View commit details
    Browse the repository at this point in the history