Merge pull request #743 from ethereum/remix_debug

.circleci/config.yml

@@ -31,15 +31,6 @@ jobs:
       - checkout
       - run: cd remix-solidity && npm install && npm test
              
-  remix-debugger:
-    docker:
-        - image: circleci/node:7.10
-    environment:
-    working_directory: ~/repo
-    steps:
-      - checkout
-      - run: cd remix-debugger && npm install && npm test
-            
 workflows:
   version: 2
   build_all:
@@ -47,4 +38,4 @@ workflows:
       - remix-lib
       - remix-core
       - remix-solidity
-      - remix-debugger
+      

remix-lib/index.js

@@ -12,9 +12,6 @@ var DummyProvider = require('./src/web3Provider/dummyProvider')
 var Web3VMProvider = require('./src/web3Provider/web3VmProvider')
 var AstWalker = require('./src/astWalker')
 var global = require('./src/global')
-var styleGuide = require('./src/ui/style-guide')
-var styleGuideDark = require('./src/ui/styleGuideDark')
-var themeChooser = require('./src/ui/theme-chooser')
 var Storage = require('./src/storage')
 
 var EventsDecoder = require('./src/execution/eventsDecoder')
@@ -54,11 +51,6 @@ function modules () {
     util: util,
     AstWalker: AstWalker,
     global: global,
-    ui: {
-      styleGuide: styleGuide,
-      styleGuideDark: styleGuideDark,
-      themeChooser: themeChooser
-    },
     execution: {
       EventsDecoder: EventsDecoder,
       txExecution: txExecution,

remix-lib/package.json

 {
   "name": "remix-lib",
-  "version": "0.2.0",
+  "version": "0.2.0-alpha.1",
   "description": "Ethereum IDE and tools for the web",
   "contributors": [
     {

remix-lib/src/ui/theme-chooser.js

-// var remixLib = require('remix-lib')
-var styleGuideLight = require('./style-guide')
-var styleGuideDark = require('./styleGuideDark')
-var Storage = require('../storage')
-module.exports = {
-
-  chooser: function () {
-    var themeStorage = new Storage('style:')
-    if (themeStorage.exists('theme')) {
-      if (themeStorage.get('theme') === 'dark') {
-        return styleGuideDark()
-      } else {
-        return styleGuideLight()
-      }
-    } else {
-      return styleGuideLight()
-    }
-  },
-
-  switchTheme: function (theme) {
-    var themeStorage = new Storage('style:')
-    themeStorage.set('theme', theme)
-    if (theme === 'dark') {
-      return styleGuideDark()
-    } else if (theme === 'light') {
-      return styleGuideLight()
-    } else {
-      return styleGuideLight()
-    }
-  }
-}