blob: 411d3aa751a3935ecff2881453d259f9f1049211 [file] [log] [blame]
/**
* @license
* Copyright (C) 2018 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.
*/
import '@polymer/iron-input/iron-input';
import '../../../styles/gr-form-styles';
import '../../../styles/shared-styles';
import '../../shared/gr-select/gr-select';
import {GestureEventListeners} from '@polymer/polymer/lib/mixins/gesture-event-listeners';
import {LegacyElementMixin} from '@polymer/polymer/lib/legacy/legacy-element-mixin';
import {PolymerElement} from '@polymer/polymer/polymer-element';
import {htmlTemplate} from './gr-edit-preferences_html';
import {customElement, property} from '@polymer/decorators';
import {EditPreferencesInfo} from '../../../types/common';
import {appContext} from '../../../services/app-context';
export interface GrEditPreferences {
$: {
editSyntaxHighlighting: HTMLInputElement;
showAutoCloseBrackets: HTMLInputElement;
showIndentWithTabs: HTMLInputElement;
showMatchBrackets: HTMLInputElement;
editShowLineWrapping: HTMLInputElement;
editShowTabs: HTMLInputElement;
};
}
@customElement('gr-edit-preferences')
export class GrEditPreferences extends GestureEventListeners(
LegacyElementMixin(PolymerElement)
) {
static get template() {
return htmlTemplate;
}
@property({type: Boolean, notify: true})
hasUnsavedChanges = false;
@property({type: Object})
editPrefs?: EditPreferencesInfo;
private readonly restApiService = appContext.restApiService;
loadData() {
return this.restApiService.getEditPreferences().then(prefs => {
this.editPrefs = prefs;
});
}
_handleEditPrefsChanged() {
this.hasUnsavedChanges = true;
}
_handleEditSyntaxHighlightingChanged() {
this.set(
'editPrefs.syntax_highlighting',
this.$.editSyntaxHighlighting.checked
);
this._handleEditPrefsChanged();
}
_handleEditShowTabsChanged() {
this.set('editPrefs.show_tabs', this.$.editShowTabs.checked);
this._handleEditPrefsChanged();
}
_handleMatchBracketsChanged() {
this.set('editPrefs.match_brackets', this.$.showMatchBrackets.checked);
this._handleEditPrefsChanged();
}
_handleEditLineWrappingChanged() {
this.set('editPrefs.line_wrapping', this.$.editShowLineWrapping.checked);
this._handleEditPrefsChanged();
}
_handleIndentWithTabsChanged() {
this.set('editPrefs.indent_with_tabs', this.$.showIndentWithTabs.checked);
this._handleEditPrefsChanged();
}
_handleAutoCloseBracketsChanged() {
this.set(
'editPrefs.auto_close_brackets',
this.$.showAutoCloseBrackets.checked
);
this._handleEditPrefsChanged();
}
save() {
if (!this.editPrefs)
return Promise.reject(new Error('Missing edit preferences'));
return this.restApiService.saveEditPreferences(this.editPrefs).then(() => {
this.hasUnsavedChanges = false;
});
}
}
declare global {
interface HTMLElementTagNameMap {
'gr-edit-preferences': GrEditPreferences;
}
}