@deathbeds/jupyterlab-fonts/lib/index.js

import { Token } from '@lumino/coreutils';
import '../style/index.css';
export var TextKind;
(function (TextKind) {
    TextKind["code"] = "code";
    TextKind["content"] = "content";
})(TextKind || (TextKind = {}));
export const KIND_LABELS = {
    code: 'Code',
    content: 'Content'
};
export var FontFormat;
(function (FontFormat) {
    FontFormat["woff2"] = "woff2";
    FontFormat["woff"] = "woff";
})(FontFormat || (FontFormat = {}));
export const FONT_FORMATS = {
    woff2: 'font/woff2',
    woff: 'font/woff'
};
export const CMD = {
    code: {
        fontSize: 'code-font-size',
        fontFamily: 'code-font-family',
        lineHeight: 'code-line-height'
    },
    content: {
        fontSize: 'content-font-size',
        fontFamily: 'content-font-family',
        lineHeight: 'content-line-height'
    },
    editFonts: 'font-editor:open',
    customFonts: {
        disable: 'custom-fonts:disable',
        enable: 'custom-fonts:enable'
    }
};
export const ROOT = ':root';
export const CSS = {
    code: {
        'font-family': '--jp-code-font-family',
        'font-size': '--jp-code-font-size',
        'line-height': '--jp-code-line-height'
    },
    content: {
        'font-family': '--jp-content-font-family',
        'font-size': '--jp-content-font-size1',
        'line-height': '--jp-content-line-height'
    }
};
export const TEXT_OPTIONS = {
    'font-size': _m => Array.from(Array(25).keys()).map(i => `${i + 8}px`),
    'line-height': _m => Array.from(Array(8).keys()).map(i => `${i * 0.25 + 1}`),
    'font-family': m => {
        let names = Array.from(m.fonts.values()).reduce((memo, f) => {
            return memo.concat(f.name);
        }, []);
        names.sort((a, b) => a.localeCompare(b));
        return names;
    }
};
export const TEXT_LABELS = {
    'font-size': 'Size',
    'line-height': 'Line Height',
    'font-family': 'Font'
};
export const DEFAULT = {
    code: {
        fontSize: '13px',
        lineHeight: '1',
        fontFamily: '"Source Code Pro", monospace'
    }
};
export const PACKAGE_NAME = '@deathbeds/jupyterlab-fonts';
export const CONFIGURED_CLASS = 'jp-fonts-configured';
// tslint:disable-next-line
export const IFontManager = new Token('@deathbeds/jupyterlab-fonts:IFontManager');
//# sourceMappingURL=index.js.map