blob: 49c780353ebbe417d2c164dc3e5ac11bc9e7b5c9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
/*******************************************************************************
* Copyright (c) 2007, 2012 THALES GLOBAL SERVICES.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Obeo - initial API and implementation
*******************************************************************************/
package org.eclipse.sirius.diagram.ui.tools.internal.properties;
import org.eclipse.core.runtime.Platform;
import org.eclipse.sirius.business.api.preferences.SiriusPreferencesKeys;
import org.eclipse.sirius.tools.api.ui.property.IPropertiesProvider;
import org.eclipse.sirius.viewpoint.SiriusPlugin;
/**
* Implementation ...
*
* @author mchauvin
*/
public class SiriusDiagramEditorPropertiesProvider implements IPropertiesProvider {
/**
* {@inheritDoc}
*
* @see org.eclipse.sirius.tools.api.ui.property.IPropertiesProvider#getProperty(int)
*/
public boolean getProperty(final int key) throws IllegalArgumentException {
if (IPropertiesProvider.KEY_AUTO_REFRESH == key) {
return Platform.getPreferencesService().getBoolean(SiriusPlugin.ID, SiriusPreferencesKeys.PREF_AUTO_REFRESH.name(), false, null);
}
throw IPropertiesProvider.EXCEPTION_PROPERTY_NOT_FOUND;
}
}
|
