Skip to content

allow user to set location of corelib files in DartEditor #440

Closed

Description

@DartBot

This issue was originally filed by [email protected]


DartEditor currently seems to have baked into itself a particular version of the dart core libraries.

It would be good if the user could set the location of corelib.dart, and have the DartEditor use that, in case they want to use a more recent or private version of corelib. (Especially useful for people working on developing corelib.)

Activity

  1. keertip commented on Nov 15, 2011

    @keertip
    Contributor

    Removed Type-Defect label.
    Added Type-Enhancement label.

  2. danrubel commented on Nov 16, 2011

    @danrubel

    I'll handle the non-UI portion of this one.


    Set owner to @danrubel.
    Added Accepted label.

  3. DartBot commented on Nov 16, 2011

    @DartBot
    Author

    This comment was originally written by [email protected]


    Just fyi, if there was a dart editor config file for this, that would be fine too, it's not necessary to have UI right now I think. (Also, there might be other various config settings we think of that we want to add before there's time to change the UI.)

  4. whesse commented on Nov 17, 2011

    @whesse
    Contributor

    We also want to be able to add additional core libraries, in the case of the runtime shell dart_vm, which has many OS libraries for file and socket access, and process control, added to the runtime.

  5. bwilkerson commented on Nov 17, 2011

    @bwilkerson
    Member

    We also want to be able to add additional core libraries, in the case of the runtime shell dart_vm, which
    has many OS libraries for file and socket access, and process control, added to the runtime.

    Are there dart: URI's for these libraries? If not, could there be? It would certainly be a lot cleaner from our perspective to have libraries that are platform-specific be explicitly imported by users. Otherwise we have to provide an extra-lingual way for the user to tell us which set of implicit libraries to compile their code against, and we'd prefer not to have to do that.

  6. danrubel commented on Dec 5, 2011

    @danrubel

    The dart core libraries are now in a "libraries" folder (build 1910) rather than embedded in plugins.
    You can modify, replace, and add new "dart:<name>" libraries.


    Added Fixed label.

  7. added a commit that references this issue on Aug 31, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

type-enhancementA request for a change that isn't a bug

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions