/**
 * Generated by tsnapi — public API snapshot of `@devframes/plugin-code-server/constants`
 */
// #region Functions
export function getCookieSessionName(_) {}
// #endregion

// #region Variables
export var DEFAULT_CODE_SERVER_PORT /* const */
export var DEFAULT_PORT /* const */
export var DEFAULT_START_TIMEOUT /* const */
export var PLUGIN_ID /* const */
export var SESSION_COOKIE_BASE /* const */
export var STATE_KEY /* const */
export var TERMINAL_SESSION_ICON /* const */
export var TERMINAL_SESSION_TITLE /* const */
// #endregion