v0.7.3

This is a tiny release:

• Display a warning if the compiler crashes during the first execution. The solidity related issue is available here: ethereum/solidity#4983 .

APIs:

• Script and terminal command execution: add remix.getFile(<path>) (retrieve the content of a file).
• Plugin API: add discardHighlight()

UI:

• Pasting to the terminal automatically format the text from rich text to plain text.
• Don't clear input after sending.
• Small UI improvement in run tab.

Fix:

• Fix offsetToLineColumn implementation
• Don't add new account in ui (added by default when polling get account) https://github.com/ethereum/remix-ide/issues/1515

Availability Remix IDE:

• remix.ethereum.org
• npm install -g remix-ide
• Remix is available as a desktop app https://github.com/horizon-games/remix-app/releases, thanks to @pkieltyka
• Remix as a plugin for Embark: https://www.npmjs.com/package/embark-remix
• docker: https://hub.docker.com/r/4c0n/remix-ide/ thanks to @4c0n

Availability Remixd:

Remixd is a tool which provide a way to access your local file from any remix IDE web app.

• npm install -g remixd
• remixd is included in remix-ide NPM package. it automatically shares the current local folder (or the given folder if any)
• docker: https://hub.docker.com/r/4c0n/remixd/ thanks to @4c0n

Changelog

• Alert if panic error 1526 @yann300
• add html filter on terminal paste 1510 @serapath
• Various fixes 1523 @yann300