/** Updates the stored data used by input devices. */
 public static void updateAllInputs() {
   keyboard.poll();
   mouse.poll();
   window.poll();
 }
 /** Clears the stored data of all input devices. */
 public static void clearAllInputs() {
   keyboard.clear();
   mouse.clear();
   window.clear();
 }