extensions to shinyAce