Example usage for com.google.gwt.eclipse.core.preferences GWTPreferences setJsoDetailFormatting

Introduction

In this page you can find the example usage for com.google.gwt.eclipse.core.preferences GWTPreferences setJsoDetailFormatting.

Prototype

public static void setJsoDetailFormatting(boolean formatting) 

Source Link

Document

updates the JSO detail formatter for the current workspace.

Usage

From source file:com.google.gdt.eclipse.suite.preferences.ui.GooglePreferencePage.java

License:Open Source License

@Override
public void dispose() {
    // Updating the detail formatter settings is somewhat tricky because we
    // don't really own the related properties: the dedicated detail
    // formatters preferences page is unaware of us and also saves on
    // performOK. So in order to avoid having our fine settings overwritten,
    // we actually apply the setting when the preferences dialog is closed.
    if (performDeferredOk) {
        boolean jsoDetailFormatting = jsoDetailFormattingButton.getSelection();
        if (jsoDetailFormattingInitialValue != jsoDetailFormatting) {
            GWTPreferences.setJsoDetailFormatting(jsoDetailFormatting);
        }/*from  www.  j  a  va2 s  .  co  m*/
    }

    super.dispose();
}

---