Added missing searchbox extension for Ace editor.