Class GlobalOptions.MarginOptions

java.lang.Object
java.util.Dictionary<K,​V>
java.util.Hashtable<java.lang.Object,​java.lang.Object>
java.util.Properties
org.proto4j.swing.core.GlobalOptions.MarginOptions
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,​java.lang.Object>
Enclosing class:
GlobalOptions

public static class GlobalOptions.MarginOptions
extends java.util.Properties
See Also:
Serialized Form
  • Field Summary

    Fields inherited from class java.util.Properties

    defaults
  • Constructor Summary

    Constructors 
    Constructor Description
    MarginOptions()  
  • Method Summary

    Methods inherited from class java.util.Properties

    clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, getProperty, getProperty, hashCode, isEmpty, keys, keySet, list, list, load, load, loadFromXML, merge, propertyNames, put, putAll, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, save, setProperty, size, store, store, storeToXML, storeToXML, storeToXML, stringPropertyNames, toString, values

    Methods inherited from class java.lang.Object

    finalize, getClass, notify, notifyAll, wait, wait, wait