/** * Window-related constants. *//** Default main window width in pixels */export const DEFAULT_WINDOW_WIDTH = 1400;/** Default main window height in pixels */export const DEFAULT_WINDOW_HEIGHT = 900;/** Development server port */export const DEV_SERVER_PORT = 5173;
/**
* Window-related constants.
*/
/** Default main window width in pixels */
export const DEFAULT_WINDOW_WIDTH = 1400;
/** Default main window height in pixels */
export const DEFAULT_WINDOW_HEIGHT = 900;
/** Development server port */
export const DEV_SERVER_PORT = 5173;