popup.js - tex-type.git - A browser extension that converts commands (some TeX) in textboxes to unicode as one types.

about summary refs log tree commit diff

path: root/popup.js

blob: c07a0312146ef449889c284ec6939c1a8893a939 (plain)

// SPDX-License-Identifier: GPL-2.0-only

"use strict";

browser.runtime.openOptionsPage();
window.close();