Skip to content

New console #3400

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
Closed
ffissore wants to merge 1 commit into from
Closed

New console #3400

ffissore wants to merge 1 commit into from

Conversation

@ffissore
Copy link
Contributor

@ffissore ffissore commented Jun 22, 2015

Replaces previous EditorConsoleStream with one that's faster and doesn't discard end chars.
So far the code solves #2798. Next target is solving #2680
@ffissore ffissore added the Component: IDE user interface The Arduino IDE's user interface label Jun 22, 2015
@ffissore ffissore self-assigned this Jun 22, 2015
@ffissore ffissore added this to the Release 1.6.6 milestone Jun 22, 2015
@ArduinoBot
Copy link
Contributor

ArduinoBot commented Jun 22, 2015

Build successful. Please test this code using one of the following:
http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-3400-BUILD-333-linux32.tar.xz
http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-3400-BUILD-333-linux64.tar.xz
http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-3400-BUILD-333-windows.zip
http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-3400-BUILD-333-macosx.zip
@ffissore
Copy link
Contributor Author

ffissore commented Jun 23, 2015

Code is too buggy. Closing. Next time
@ffissore ffissore closed this Jun 23, 2015
@lmihalkovic lmihalkovic mentioned this pull request Nov 25, 2015
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Component: IDE user interface The Arduino IDE's user interface

2 participants

@ffissore @ArduinoBot