@eclipse-glsp/client
Version:
A sprotty-based client for GLSP
41 lines • 3.06 kB
TypeScript
/********************************************************************************
* Copyright (c) 2021-2024 EclipseSource and others.
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License v. 2.0 which is available at
* http://www.eclipse.org/legal/epl-2.0.
*
* This Source Code may also be made available under the following Secondary
* Licenses when the conditions for such availability set forth in the Eclipse
* Public License v. 2.0 are satisfied: GNU General Public License, version 2
* with the GNU Classpath Exception which is available at
* https://www.gnu.org/software/classpath/license.html.
*
* SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
********************************************************************************/
import { Bounds, BoundsData, Dimension, GChildElement, GModelElement, GParentElement, HBoxLayoutOptions, HBoxLayouter, LayoutContainer, Point, StatefulLayouter } from '@eclipse-glsp/sprotty';
export interface HBoxLayoutOptionsExt extends HBoxLayoutOptions {
hGrab: boolean;
vGrab: boolean;
prefWidth: number | null;
prefHeight: number | null;
}
/**
* Extends HBoxLayouter to support additional layout options
*/
export declare class HBoxLayouterExt extends HBoxLayouter {
static KIND: string;
layout(container: GParentElement & LayoutContainer, layouter: StatefulLayouter): void;
protected getChildrenSize(container: GParentElement & LayoutContainer, containerOptions: HBoxLayoutOptionsExt, layouter: StatefulLayouter): Dimension;
protected layoutChildren(container: GParentElement & LayoutContainer, layouter: StatefulLayouter, containerOptions: HBoxLayoutOptionsExt, maxWidth: number, maxHeight: number, grabWidth?: number, grabbingChildren?: number): Point;
protected layoutChild(child: GChildElement, boundsData: BoundsData, bounds: Bounds, childOptions: HBoxLayoutOptionsExt, containerOptions: HBoxLayoutOptionsExt, currentOffset: Point, maxWidth: number, maxHeight: number, grabWidth?: number, grabbingChildren?: number): Point;
protected getFixedContainerBounds(container: GModelElement, layoutOptions: HBoxLayoutOptionsExt, layouter: StatefulLayouter): Bounds;
protected getChildLayoutOptions(child: GChildElement, containerOptions: HBoxLayoutOptionsExt): HBoxLayoutOptionsExt;
protected getLayoutOptions(element: GModelElement): HBoxLayoutOptionsExt;
protected getElementLayoutOptions(element: GModelElement): HBoxLayoutOptionsExt | undefined;
protected getComputedContainerDimensions(options: HBoxLayoutOptionsExt, maxWidth: number, maxHeight: number): Dimension;
protected getFinalContainerBounds(container: GParentElement & LayoutContainer, lastOffset: Point, options: HBoxLayoutOptionsExt, computedWidth: number, computedHeight: number): Bounds;
protected getDefaultLayoutOptions(): HBoxLayoutOptionsExt;
protected filterContainerOptions(containerOptions: HBoxLayoutOptionsExt): HBoxLayoutOptionsExt;
}
//# sourceMappingURL=hbox-layout.d.ts.map