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

decaffeinate lib/ui #756

Closed
wants to merge 4 commits into from
Closed

decaffeinate lib/ui #756

wants to merge 4 commits into from

Conversation

aminya
Copy link

@aminya aminya commented Jun 8, 2020

No description provided.

aminya added 4 commits June 8, 2020 03:12
I analyzed these:

File
    ui.js
Found usages  (10 usages found)
    Unclassified usage  (6 usages found)
        lib\runtime  (6 usages found)
            console.js  (1 usage found)
                11 import { selector } from '../ui'
            debugger.js  (1 usage found)
                5 import { views } from '../ui'
            frontend.js  (1 usage found)
                4 import { selector, notifications } from '../ui'
            packages.js  (1 usage found)
                4 import { selector } from '../ui'
            plots.js  (1 usage found)
                4 import { views } from '../ui'
            urihandler.js  (1 usage found)
                4 import { docpane, views } from '../ui'
    Usage in string literals  (4 usages found)
        lib  (1 usage found)
            julia-client.coffee  (1 usage found)
                20 ui:         require './ui'
        lib\runtime  (2 usages found)
            evaluation.coffee  (1 usage found)
                6 {notifications, views, selector, docpane} = require '../ui'
            workspace.coffee  (1 usage found)
                4 {views} = require '../ui'
        lib\ui  (1 usage found)
            layout.js  (1 usage found)
                documentation  (1 usage found)
                    10 return require('../ui').docpane
@aminya
Copy link
Author

aminya commented Jun 8, 2020

This is merged to #755. They need to happen together.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant