Examples of de.sciss.app.DynamicPrefChangeManager

de.sciss.app.DynamicPrefChangeManager
A utility class for a mechanism common to many GUI objects : they listen to certain preferences and need to act upon changes. However to improve performance, the listening is paused when the components are hidden and resumed when they are shown or added to ancestor GUI components.
This class tracks a set of preferences specified by key strings. It implements the DynamicListening interface and thus can be used in a DynamicAncestorAdapter. When the listening is resumes, this class checks for changes that might have occured to the tracked preferences. All relevant PreferenceChangeEvents are forwarded to the LaterInvocationManager.Listener provided in the constructor call.
Another important issue is to avoid deadlocks that can be easily caused in the java.util.prefs.Preferences context because it provides no means to find out who changed the preferences. Therefore if a component both changes a preferences and tracks (listens to) changes of the same preference, it can produce and infinite loop. Besides, if another component changes to prefs but the old value equals the new value, unneccessary overhead might be created. To avoid this, this class checks to see if a preference value really changed - if not, that PreferenceChangeEvent is NOT forwarded to the LIM-Listener. @author Hanns Holger Rutz @version 0.14, 20-Mar-08

    new DynamicAncestorAdapter( this ).addTo( this );
        this.addAdjustmentListener( this );


//        new DynamicAncestorAdapter( new DynamicPreferenceChangeManager( Main.prefs.node( PrefsUtil.NODE_SHARED ),
//      new String[] { PrefsUtil.KEY_CATCH }, this )).addTo( this );
        new DynamicAncestorAdapter( new DynamicPrefChangeManager( AbstractApplication.getApplication().getUserPrefs(),
      new String[] { PrefsUtil.KEY_CATCH }, this )).addTo( this );
        
    setFocusable( false );
    
//        HelpGlassPane.setHelp( this, "TimelineScroll" );

View Full Code Here

    this.setCursor( new Cursor( Cursor.HAND_CURSOR ));


    grass.getActionMap().put( HELP_PROPERTY, helpAction );


    // --- Listener ---
        new DynamicAncestorAdapter( new DynamicPrefChangeManager( GUIUtil.getUserPrefs(),
      new String[] { KEY_KEYSTROKE_HELP }, this )).addTo( grass );
  }

View Full Code Here

//    init();
  }
  
  public void init()
  {
        addDynamicListening( new DynamicPrefChangeManager(
            classPrefs, new String[] { KEY_PLUGIN, KEY_SELECTIONONLY }, this ));
        super.init();
  }

View Full Code Here

        
        this.doc    = doc;
    
    // --- Listener ---
        new DynamicAncestorAdapter( this ).addTo( this );
        new DynamicAncestorAdapter( new DynamicPrefChangeManager(
      AbstractApplication.getApplication().getUserPrefs(), new String[] { PrefsUtil.KEY_TIMEUNITS }, this
    )).addTo( this );
    this.addMouseListener( this );
    this.addMouseMotionListener( this );

View Full Code Here

                PrefsUtil.NODE_SESSION ).node(
                  className.substring( className.lastIndexOf( '.' ) + 1 ));
    createSettingsView();


    // --- Listener ---
        new DynamicAncestorAdapter( new DynamicPrefChangeManager( classPrefs, KEYS, this )).addTo( this );
  }

View Full Code Here

    classPrefs  = app.getUserPrefs().node( PrefsUtil.NODE_SESSION ).node(
            className.substring( className.lastIndexOf( '.' ) + 1 ));
    createSettingsView();


    // --- Listener ---
        new DynamicAncestorAdapter( new DynamicPrefChangeManager( app.getUserPrefs().node(
      PrefsUtil.NODE_PLUGINS ), new String[] { getSourceListKey() }, this )).addTo( this );
        new DynamicAncestorAdapter( new DynamicPrefChangeManager( classPrefs,
      new String[] { KEY_LISPSOURCE }, this )).addTo( this );
  }

View Full Code Here

    tools.put( new Integer( ToolAction.FORK ),    new SurfacePencilTool( true ));


    // --- Listener ---
    
        new DynamicAncestorAdapter( this ).addTo( this );
        new DynamicAncestorAdapter( new DynamicPrefChangeManager(
      AbstractApplication.getApplication().getUserPrefs().node( PrefsUtil.NODE_SHARED ),
      new String[] { PrefsUtil.KEY_SNAP, PrefsUtil.KEY_VIEWRCVSENSE, PrefsUtil.KEY_VIEWEQPRECEIVER,
               PrefsUtil.KEY_VIEWTRNSTRAJ, PrefsUtil.KEY_VIEWUSERIMAGES }, this )).addTo( this );
  
//    this.addMouseListener( new MouseAdapter() {

View Full Code Here

  {
    super();
    this.prefs  = prefs;
    b      = new JToggleButton( this );
    GraphicsUtil.setToolIcons( b, GraphicsUtil.createToolIcons( GraphicsUtil.ICON_CATCH ));
    new DynamicAncestorAdapter( new DynamicPrefChangeManager( prefs,
      new String[] { PrefsUtil.KEY_CATCH }, this )).addTo( b );
  }

View Full Code Here

0 1

TOP

Related Classes of de.sciss.app.DynamicPrefChangeManager

de.sciss.eisenkraut.gui.CatchAction

de.sciss.eisenkraut.gui.MenuFactory

de.sciss.eisenkraut.gui.RecorderDialog

de.sciss.eisenkraut.net.SuperColliderClient

de.sciss.eisenkraut.session.DocumentFrame

de.sciss.eisenkraut.timeline.TimelineAxis

de.sciss.eisenkraut.timeline.TimelineScroll

de.sciss.gui.HelpGlassPane

de.sciss.meloncillo.gui.CatchAction

de.sciss.meloncillo.plugin.AbstractPlugInFrame

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.