ajaxorg/ace — pull request #1058 by vladzinculescu (2012-10-23 08:56:20+00:00)
Title: Feature/keyboard modify numbers

New functionality: modifyNumber

If the character before the cursor is a number, you can increase/descrease it's value with 1 by pressing **Alt+Shift+Up/Down**.

This will update the whole number the digit is part of.