Added missing settings extension for Ace editor.