/*
 * UserPreferenceEvent.java
 *
 * Copyright (C) 2002-2013 Takis Diakoumis
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 3
 * of the License, or any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
 *
 */

package org.executequery.event;

/** 
 *
 * @author   Takis Diakoumis
 * @version  $Revision: 1212 $
 * @date     $Date: 2013-02-28 23:08:48 +1100 (Thu, 28 Feb 2013) $
 */
public interface UserPreferenceEvent extends ApplicationEvent {

    int ALL = 0;
    
    int QUERY_EDITOR = 1;
    
    int TOOL_BAR = 2;
    
    int LOG = 3;
 
    int PROXY = 4;

    int KEYBOARD_SHORTCUTS = 5;

    int LAYOUT_VIEW = 7;

    int DOCKED_COMPONENT_CLOSED = 8;
    
    int DOCKED_COMPONENT_OPENED = 9;
    
    /** Method name for preferences changed event */
    String PREFERENCES_CHANGED = "preferencesChanged";

    int getEventType();
    
    String getKey();
    
}

