Exemple #1
0
 void dispose() {
   if (shell != null) shell.dispose();
   if (clipboard != null) clipboard.dispose();
 }