/**
  * Returns the id of the "default" mode with the given refresh rate, or {@code 0} if no suitable
  * mode could be found.
  */
 public int findDefaultModeByRefreshRate(float refreshRate) {
   Display.Mode[] modes = supportedModes;
   Display.Mode defaultMode = getDefaultMode();
   for (int i = 0; i < modes.length; i++) {
     if (modes[i].matches(
         defaultMode.getPhysicalWidth(), defaultMode.getPhysicalHeight(), refreshRate)) {
       return modes[i].getModeId();
     }
   }
   return 0;
 }
 /** Returns the list of supported refresh rates in the default mode. */
 public float[] getDefaultRefreshRates() {
   Display.Mode[] modes = supportedModes;
   ArraySet<Float> rates = new ArraySet<>();
   Display.Mode defaultMode = getDefaultMode();
   for (int i = 0; i < modes.length; i++) {
     Display.Mode mode = modes[i];
     if (mode.getPhysicalWidth() == defaultMode.getPhysicalWidth()
         && mode.getPhysicalHeight() == defaultMode.getPhysicalHeight()) {
       rates.add(mode.getRefreshRate());
     }
   }
   float[] result = new float[rates.size()];
   int i = 0;
   for (Float rate : rates) {
     result[i++] = rate;
   }
   return result;
 }