Add REST endpoints to get/set default edit preferences
For general and diff preferences defaults can already be configured via REST. Support the same for edit preferences. Change-Id: I325fe4f768ad9089f8cf598bd88c5b9b57af871d Signed-off-by: Edwin Kempin <ekempin@google.com>
This commit is contained in:
@@ -15,6 +15,7 @@
|
||||
package com.google.gerrit.extensions.api.config;
|
||||
|
||||
import com.google.gerrit.extensions.client.DiffPreferencesInfo;
|
||||
import com.google.gerrit.extensions.client.EditPreferencesInfo;
|
||||
import com.google.gerrit.extensions.client.GeneralPreferencesInfo;
|
||||
import com.google.gerrit.extensions.common.ServerInfo;
|
||||
import com.google.gerrit.extensions.restapi.NotImplementedException;
|
||||
@@ -34,6 +35,10 @@ public interface Server {
|
||||
|
||||
DiffPreferencesInfo setDefaultDiffPreferences(DiffPreferencesInfo in) throws RestApiException;
|
||||
|
||||
EditPreferencesInfo getDefaultEditPreferences() throws RestApiException;
|
||||
|
||||
EditPreferencesInfo setDefaultEditPreferences(EditPreferencesInfo in) throws RestApiException;
|
||||
|
||||
ConsistencyCheckInfo checkConsistency(ConsistencyCheckInput in) throws RestApiException;
|
||||
|
||||
/**
|
||||
@@ -73,6 +78,17 @@ public interface Server {
|
||||
throw new NotImplementedException();
|
||||
}
|
||||
|
||||
@Override
|
||||
public EditPreferencesInfo getDefaultEditPreferences() throws RestApiException {
|
||||
throw new NotImplementedException();
|
||||
}
|
||||
|
||||
@Override
|
||||
public EditPreferencesInfo setDefaultEditPreferences(EditPreferencesInfo in)
|
||||
throws RestApiException {
|
||||
throw new NotImplementedException();
|
||||
}
|
||||
|
||||
@Override
|
||||
public ConsistencyCheckInfo checkConsistency(ConsistencyCheckInput in) throws RestApiException {
|
||||
throw new NotImplementedException();
|
||||
|
||||
Reference in New Issue
Block a user