Only modify the console's TextEdit widget rather than all TextEdit widgets
 * Fixes #3