Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Fix #3466: Crash happened when make some operation with decimal number in the Tab Size/Spaces field. #3487

Merged
merged 1 commit into from
Apr 24, 2013
Merged

Fix #3466: Crash happened when make some operation with decimal number in the Tab Size/Spaces field. #3487

merged 1 commit into from
Apr 24, 2013

Commits on Apr 19, 2013

  1. Transform indent units from floats to integers when needed

    @TomMalbran
    TomMalbran committed Apr 19, 2013
    Configuration menu
    Copy the full SHA
    dd2f75f View commit details
    Browse the repository at this point in the history