/**
  * updatePane
  *
  * @param sel int
  */
 private void updatePane(int sel) {
   switch (sel) {
     case 0: // editor view
       updateEditorView();
       break;
     case 1: // printf view
       updatePrintfView();
       break;
   }
 }