fix filter width

This commit is contained in:
Ben Fry
2017-02-11 18:35:54 -05:00
parent 670f2dc06f
commit c9d6f99cda
@@ -38,7 +38,7 @@ import processing.app.ui.Toolkit;
public class ContributionTab extends JPanel {
static final String ANY_CATEGORY = Language.text("contrib.all");
static final int FILTER_WIDTH = 180;
static final int FILTER_WIDTH = Toolkit.zoom(180);
ContributionType contribType;
ManagerFrame contribDialog;