public void EnableDoubleBuffering() {
   txt_box.EnableDoubleBuffering();
 }