/**
 * 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;
