Errors reported by export-to-lang within modal are styled weirdly

XMLWordPrintableJSON

    • Iteration Limoncello
    • None
    • None

      If a error is thrown within export-to-lang (most easy to trigger by having an invalid $-op and compiling to java with builders) the error message takes up the whole editor: 

              Assignee:
              Anna Herlihy (Inactive)
              Reporter:
              Anna Herlihy (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Created:
                Updated:
                Resolved: