Convert results count setting to slider in plugin settings pane

This commit is contained in:
Debanjum Singh Solanky
2023-01-11 14:05:46 -03:00
parent 4e1abd1b72
commit 1c813a6884

View File

@@ -42,11 +42,12 @@ export class KhojSettingTab extends PluginSettingTab {
new Setting(containerEl) new Setting(containerEl)
.setName('Results Count') .setName('Results Count')
.setDesc('The number of search results to show') .setDesc('The number of search results to show')
.addText(text => text .addSlider(slider => slider
.setPlaceholder('6') .setLimits(1, 10, 1)
.setValue(`${this.plugin.settings.resultsCount}`) .setValue(this.plugin.settings.resultsCount)
.setDynamicTooltip()
.onChange(async (value) => { .onChange(async (value) => {
this.plugin.settings.resultsCount = parseInt(value); this.plugin.settings.resultsCount = value;
await this.plugin.saveSettings(); await this.plugin.saveSettings();
})); }));
let indexVaultSetting = new Setting(containerEl); let indexVaultSetting = new Setting(containerEl);