public void restore_size(Client client) { client.resize (client.saved_width, client.saved_height); }
public void scale_size(Client client, double factor) { client.width = (int)(client.width*factor); client.height = (int)(client.height*factor); client.width = Math.Min (client.width, space.width); client.height = Math.Min (client.height, space.height); client.resize (); relocate (client); }
public void minimize(Client client) { client.width = client.size_hints == null || client.size_hints.min_width () == 0 ? client.width/2 : client.size_hints.min_width (); client.height = client.size_hints == null || client.size_hints.min_height () == 0 ? client.height/2 : client.size_hints.min_height (); client.resize (); relocate (client); }