import type { Border } from "./Border.js"; import type { FloatingWindowSettings } from "./FloatingWindowSettings.js"; import type { PluginId } from "./PluginId.js"; import type { Rect } from "./Rect.js"; import type { WmAnimations } from "./WmAnimations.js"; import type { WmDragBehavior } from "./WmDragBehavior.js"; export type WindowManagerSettings = { /** * enable or disable the tiling window manager */ enabled: boolean; /** * enable or disable auto stacking by category */ autoStackingByCategory: boolean; /** * window manager border */ border: Border; /** * the resize size in % to be used when resizing via cli */ resizeDelta: number; /** * default gap between containers */ workspaceGap: number; /** * default workspace padding */ workspacePadding: number; /** * default workspace margin */ workspaceMargin: Rect; /** * floating window settings */ floating: FloatingWindowSettings; /** * default layout */ defaultLayout: PluginId; /** * window manager animations */ animations: WmAnimations; /** * window manager drag behavior */ dragBehavior: WmDragBehavior; }; //# sourceMappingURL=WindowManagerSettings.d.ts.map