Menu ▾ ▴

#8 Increase indent value

open
nobody
Editor (8)
5
2012-10-24
2011-10-09
Alexander Dorofeev
No

Increase indent key always shifts text to 3 spaces. Regardless of the setting value in preferences.

Discussion

  • Thomas Calmant

    Thomas Calmant - 2011-10-09

    Hi,
    Preferences are not taken into account immediately.
    You should re-open the file to apply the new settings.

    I'm working on a whole new version of the editor, which will have a more efficient settings handler.

    Thomas

     

  • Alexander Dorofeev

    Alexander Dorofeev - 2011-10-09

    I'm tried close and open editor, restart eclipse - no luck

     

  • Alexander Dorofeev

    Alexander Dorofeev - 2011-10-09

    I mean increase indent with selected text. Not just tab.

     

  • Thomas Calmant

    Thomas Calmant - 2011-10-10

    OK bug found.
    I've found where to apply the fix (new release soon)

     

  • Thomas Calmant

    Thomas Calmant - 2011-10-10

    Fixed and released.

     

Log in to post a comment.

Auth0 Logo