From c9d6f99cda9c355e8fc4ba24ff6f036822703ece Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sat, 11 Feb 2017 18:35:54 -0500
Subject: [PATCH] fix filter width

---
 app/src/processing/app/contrib/ContributionTab.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/contrib/ContributionTab.java b/app/src/processing/app/contrib/ContributionTab.java
index 6165e7a0d..532d7f9ed 100644
--- a/app/src/processing/app/contrib/ContributionTab.java
+++ b/app/src/processing/app/contrib/ContributionTab.java
@@ -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;