Download the zipped Remix IDE binary from release page (https://github.com/ethereum/remix-ide/releases
) and unpack the file into the wanted location such as c:\tools\remix-ide
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8" ?> | |
<!-- | |
'sed' commands to generate the following settings from the original one | |
$ sed -i 's/font_name=\"Dialog\" font_size=\"10\"/font_name=\"Malgun Gothic\" font_size=\"12\"/' dl_settings.xml | |
$ sed -ri 's/fc_object classname="(Table|Entity)" background="[^"]*"/fc_object classname="\1" background="-1"/' dl_settings.xml | |
$ sed -ri 's/fc_object classname="Note" background="[^"]*"/fc_object classname="Note" background="-52"/' dl_settings.xml | |
$ sed -ri 's/<pk value="[^"]*"\/>/<pk value="{table abbr}_PK"\/>/' dl_settings.xml | |
$ sed -ri 's/<fk value="[^"]*"\/>/<fk value="{child abbr}_FK{seq nr}"\/>/' dl_settings.xml |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 2019/05/03 - update Java type filter | |
# 2017/12/05 - add file association for '*.j2' | |
# 2017/04/20 - add Go source editor setting and register 'jmx' (JMeter test plan file) extension as XML content-type | |
# 2017/03/09 - disable error reporting e-mail, automatic transition to PMD perspective and added file association for 'project-reposts.html' and 'pmd.html' with web browser | |
# 2017/03/08 - add file association for 'findbugs.html' with web browser | |
# 2017/03/03 - add tab size for debug console | |
# 2017/02/23 - remove editor indicators for Info annotations | |
# 2017/02/15 - make to use external web browser by default and add file associations for 'api.link.html' and 'javadoc.link.html' with web browser | |
# 2017/02/13 - update Java type filter | |
# 2017/02/08 - set 2 for indentation size following 'Google Style Guides' and 120 for line width for most type of editors |
NewerOlder