[galaxy-commits] commit/galaxy-central: carlfeberhard: History panel: reduce size of select checkboxes, decrease animation