opendev/gerrit
Code Issues Proposed changes

Rename AccountPreferencesInfo to GeneralPreferences

Browse Source 
Change-Id: I05a0ad236b635dd707f7d1997d8943b3f39d3864
This commit is contained in:
David Ostrovsky
2016-01-22 17:55:25 +01:00
parent 195eff5911
commit 70e4a9024a
10 changed files with 41 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gerrit-plugin-gwtui/src/main/java/com/google/gerrit/plugin/client/Plugin.java
View File

@@ -16,7 +16,7 @@ package com.google.gerrit.plugin.client;
import com.google.gerrit.client.GerritUiExtensionPoint;
import com.google.gerrit.client.info.AccountInfo;
import com.google.gerrit.client.info.AccountPreferencesInfo;
import com.google.gerrit.client.info.GeneralPreferences;
import com.google.gerrit.client.info.ServerInfo;
import com.google.gerrit.plugin.client.extension.Panel;
import com.google.gerrit.plugin.client.screen.Screen;
@@ -60,7 +60,7 @@ public final class Plugin extends JavaScriptObject {
/*-{ return this.refreshMenuBar() }-*/;
/** @return the preferences of the currently signed in user, the default preferences if not signed in */
public final native AccountPreferencesInfo getUserPreferences()
public final native GeneralPreferences getUserPreferences()
/*-{ return this.getUserPreferences() }-*/;
/** Refresh the user preferences of the current user. */