gerrit-gwtui/src/main/java/com/google/gerrit/client/admin/AdminResources.java

// Copyright (C) 2011 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package com.google.gerrit.client.admin;

import com.google.gwt.core.client.GWT;
import com.google.gwt.resources.client.ClientBundle;
import com.google.gwt.resources.client.ImageResource;

public interface AdminResources extends ClientBundle {
  AdminResources I = GWT.create(AdminResources.class);

  @Source("admin.css")
  AdminCss css();

  /** unknown origin TODO replace icons */
  @Source("deleteNormal.png")
  ImageResource deleteNormal();

  @Source("deleteHover.png")
  ImageResource deleteHover();

  /** silk icons (CC-BY3.0): http://famfamfam.com/lab/icons/silk/ */
  @Source("arrow_undo.png")
  ImageResource undoNormal();
}