plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/PluginPreferences.java

   1 package net.mograsim.plugin.preferences;
   2
   3 import net.mograsim.preferences.Preferences;
   4
   5 public interface PluginPreferences extends Preferences
   6 {
   7         public static final String PREFIX = "net.mograsim.plugin.core.";
   8
   9         public static final String MAX_MEMORY_CHANGE_INTERVAL = "net.mograsim.plugin.core.maxmemchangeinterval";
  10         public static final String SIMULATION_SPEED_PRECISION = "net.mograsim.plugin.core.simspeedprecision";
  11         public static final String MPM_EDITOR_BITS_AS_COLUMN_NAME = "net.mograsim.plugin.core.editors.mpm.bitsascolumnname";
  12
  13 }