1 11 12 package org.eclipse.ui.internal; 13 14 25 public class TrimDragPreferences { 26 27 30 31 private static int thresholdPref = 50; 32 33 36 private static boolean raggedTrim = true; 37 38 41 44 public static int getThreshold() { 45 return thresholdPref; 46 } 47 48 51 public static void setThreshold(int threshold) { 52 thresholdPref = threshold; 53 } 54 55 58 public static boolean showRaggedTrim() { 59 return raggedTrim; 60 } 61 62 65 public static void setRaggedTrim(boolean raggedTrim) { 66 TrimDragPreferences.raggedTrim = raggedTrim; 67 } 68 } 69 | Popular Tags |