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

Print REPL errors inline and get rid of error popup #1487

Merged
merged 4 commits into from
Sep 5, 2023
Merged

Print REPL errors inline and get rid of error popup #1487

merged 4 commits into from
Sep 5, 2023

Commits on Sep 3, 2023

  1. get rid of error dialog and put error messages inline in REPL

    @byorgey
    byorgey committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    107fc8e View commit details
    Browse the repository at this point in the history

  2. update tutorial to reflect new location of error messages

    @byorgey
    byorgey committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    79112c7 View commit details
    Browse the repository at this point in the history

  3. update Haddock

    @byorgey
    byorgey committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    04e12ac View commit details
    Browse the repository at this point in the history

  4. invalidate cache when starting new game 

    This fixes an issue introduced in #1481, where the old REPL history
would still be visible when starting a new scenario until entering a
command for the first time.

Incidentally, this also fixes the issue where the previous world would be
sometimes briefly visible before showing the new world upon starting a
new scenario.
    @byorgey
    byorgey committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    d5e213e View commit details
    Browse the repository at this point in the history