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.

Sign up for GitHub

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

Jump to bottom

Dart Editor should provide color Preferences #1052

Closed
DartBot opened this issue Jan 5, 2012 · 4 comments
Closed

Dart Editor should provide color Preferences #1052

DartBot opened this issue Jan 5, 2012 · 4 comments
Labels
closed-duplicate Closed in favor of an existing report type-enhancement A request for a change that isn't a bug
Milestone
M1

Comments

@DartBot
Copy link

DartBot commented Jan 5, 2012

This issue was originally filed by ross.m.smit...@gmail.com

What steps will reproduce the problem?
1.Open Dart Editor
2.Go into Preferences
3.There is no way to change the color scheme.

What is the expected output? What do you see instead?

I, like many nerds, use a dark theme in my OS (Win 7 64-bit) and I can't read anything in the Dart Editor unless I switch my theme to blazing white.

What version of the product are you using? On what operating system?

0.1.0, Windows 7 64-bit

Please provide any additional information below.

Snarf!
@dgrove
Copy link
Contributor

dgrove commented Jan 9, 2012

Removed Type-Defect label.
Added Type-Enhancement, Area-Editor, Triaged labels.

@danrubel
Copy link

danrubel commented Jun 1, 2012

Added this to the Later milestone.

@stevemessick
Copy link
Contributor

Added Duplicate label.
Marked as being merged into #293.

@clayberg
Copy link

Removed this from the Later milestone.
Added this to the M1 milestone.
Marked as being merged into #dart:293.

@DartBot DartBot added Type-Enhancement closed-duplicate Closed in favor of an existing report labels Sep 18, 2012
@DartBot DartBot added this to the M1 milestone Sep 18, 2012
@stevemessick stevemessick mentioned this issue Jun 3, 2015
Closed
@kevmoo kevmoo added type-enhancement A request for a change that isn't a bug and removed type-enhancement labels Mar 1, 2016
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
closed-duplicate Closed in favor of an existing report type-enhancement A request for a change that isn't a bug
Projects
None yet
Milestone
M1
Development

No branches or pull requests
6 participants
@kevmoo @dgrove @danrubel @stevemessick @clayberg @DartBot