Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Nov 17, 2014

Tabulator fix for preserving lifetime of backspace key.
ô.Ô

Tabulator fix to preserve lifetime of backspace key.
ô.Ô
@ghost ghost changed the title Update EditorListener.java Using tabulation instead of white spaces. Nov 17, 2014
@ArduinoBot
Copy link
Contributor

Can one of the admins verify this patch?

@ffissore
Copy link
Contributor

ffissore commented Jan 8, 2015

@bxnc can you please remake this PR against branch 1.5.x? 1.0.x development is phasing out

@ghost
Copy link
Author

ghost commented Jan 8, 2015

np
#2544

@ghost ghost closed this Jan 8, 2015
This pull request was closed.
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.

2 participants