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