rec {
  # Define miscellaneous window manager properties
  weightInt = 3;
  weight = toString weightInt;
}