This commit is contained in:
GitHub Merge Button 2011-11-24 08:01:27 -08:00
commit b0d2728a85

View file

@ -3580,15 +3580,9 @@ function OUTER(gscope)
function doTabKey(shiftDown)
{
if (shiftDown === true){
doDeleteKey();
}
else
if (!doIndentOutdent(shiftDown))
{
if (!doIndentOutdent(shiftDown))
{
performDocumentReplaceSelection(THE_TAB);
}
performDocumentReplaceSelection(THE_TAB);
}
}