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

Show runtime error list docked to the bottom of the preview #57

Merged
merged 2 commits into from Feb 6, 2016

Commits on Feb 6, 2016

  1. Show runtime error list docked to the bottom of the preview

    If a runtime error occurs, we don’t want to completely cover the preview
    like we do for a compilation error. Instead, slide up a list of errors
    docked to the bottom of the preview column.
    outoftime committed Feb 6, 2016
    Configuration menu
    Copy the full SHA
    153e51b View commit details
    Browse the repository at this point in the history
  2. Less terrible layout for toolbar

    Absolutely position the toolbar and make space for it using padding.
    Means that the whole thing now takes up 100% of the viewport height,
    instead of more than 100%. Also means that opening the toolbar covers
    the environment rather than pushing it down, which I think is better.
    
    Ultimately I think flexbox is probably the right move here but this is
    an improvement from the previous layout.
    outoftime committed Feb 6, 2016
    Configuration menu
    Copy the full SHA
    1705680 View commit details
    Browse the repository at this point in the history