An example of how to create editor extensions