Method modify

srcs/juloo.keyboard2/KeyModifier.java:18–30

Modify a key according to modifiers.

(KeyValue k, Pointers.Modifiers mods)

  /** Modify a key according to modifiers. */
  public static KeyValue modify(KeyValue k, Pointers.Modifiers mods)
  {
    if (k == null)
      return null;
    int n_mods = mods.size();
    KeyValue r = k;
    for (int i = 0; i < n_mods; i++)
      r = modify(r, mods.get(i));
    /* Keys with an empty string are placeholder keys. */
    if (r.getString().length() == 0)
      return null;
    return r;
  }

  /** Like [modify] but do not apply user modmaps. Used when evaluating macros
      to avoid loops. */