chore: Remove unused setting
This commit is contained in:
parent
eeb701d1e5
commit
716e12aa40
1 changed files with 0 additions and 2 deletions
|
|
@ -6,7 +6,6 @@ import { ManageHiddenFiles } from './settings/manageHiddenFiles';
|
||||||
import { createStyleLine, findStyleSheet } from './utils';
|
import { createStyleLine, findStyleSheet } from './utils';
|
||||||
|
|
||||||
interface FileHiderSettings {
|
interface FileHiderSettings {
|
||||||
ribbonIcon: boolean;
|
|
||||||
hidden: boolean;
|
hidden: boolean;
|
||||||
hiddenFiles: string[];
|
hiddenFiles: string[];
|
||||||
hiddenFolders: string[];
|
hiddenFolders: string[];
|
||||||
|
|
@ -15,7 +14,6 @@ interface FileHiderSettings {
|
||||||
|
|
||||||
export default class FileHider extends Plugin {
|
export default class FileHider extends Plugin {
|
||||||
settings: FileHiderSettings = {
|
settings: FileHiderSettings = {
|
||||||
ribbonIcon: true,
|
|
||||||
hidden: true,
|
hidden: true,
|
||||||
hiddenFiles: [],
|
hiddenFiles: [],
|
||||||
hiddenFolders: [],
|
hiddenFolders: [],
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue