Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Jan 8, 2015

Tabulator fix to preserve lifetime of backspace key.
ô.Ô

Tabulator fix to preserve lifetime of backspace key.
ô.Ô
@ffissore
Copy link
Contributor

ffissore commented Jan 8, 2015

@ArduinoBot build this please

@ghost
Copy link
Author

ghost commented Jan 14, 2015

@ArduinoBot are you in winter sleep?

@ffissore
Copy link
Contributor

@ArduinoBot build this please

@ArduinoBot
Copy link
Contributor

Build failed.

@ffissore
Copy link
Contributor

@bxnc build failed because of a network problem during upload. Retriggering

@ffissore
Copy link
Contributor

@ArduinoBot build this please

@ghost
Copy link
Author

ghost commented Jan 20, 2015

Setting "editor.tabs.expand=false" in preferences.txt changes the behavior of tabulation.
The build works.

@cmaglie cmaglie added feature request A request to make an enhancement (not a bug fix) Component: IDE user interface The Arduino IDE's user interface labels Apr 15, 2015
@ffissore
Copy link
Contributor

Became unmergeable. Closing

@ffissore ffissore closed this May 11, 2015
@ffissore ffissore modified the milestone: Release 1.6.5 May 20, 2015
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 feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants