Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#8 Increase indent value

open
nobody
Editor (8)
5
2012-10-24
2011-10-09
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

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

     
  • 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.