row.addAllWithSpace(10, Strings.get("Location.Http.Label.Verb"), options);
return InvisiblePanel.newPanel(row);
}
private static HttpVerb getVerb(HttpLocation loc, SourceTarget st) {
HttpVerb verb = loc.getHttpVerb();
// An HTTP source/target may have been created/modified in a version that supports more
// HTTP verbs than the current version. If that happens we should really give a warning,
// but for now we just fall back to the default verb. We cannot keep the unsupported
// verb because then this selector would end up in an invalid state (nothing selected),
// which would prevent the user from saving.