Files
gerrit/polygerrit-ui/app/elements/shared/gr-select/gr-select.html
Wyatt Allen 8fee90bdf8 Adds some user preferences to the PolyGerrit settings page
Brings some of the select based settings from the GWT UI's
/settings/preferences page into the PolyGerrit UI's /settings page. Does
not include the checkbox-based preferences or the "My Menu" control.
Introduces gr-select which is a Polymer native element extension that
greatly simplifies data-binding to select elements. Also adds some
styling to the PolyGerrit settings page.

Bug: Issue 3911
Change-Id: I4aca4c4261f4d9b675d7f5d2cfa97d69aef0edeb
2016-06-06 10:16:46 -07:00

21 lines
737 B
HTML

<!--
Copyright (C) 2016 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.
-->
<link rel="import" href="../../../bower_components/polymer/polymer.html">
<dom-module id="gr-select">
<script src="gr-select.js"></script>
</dom-module>