mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-10-26 19:24:31 +03:00
596a3cd798
…and the ability to choose a specific theme via a config setting (or use the system default). |
||
---|---|---|
.. | ||
language-ids | ||
extension-helper.js | ||
main.js | ||
markdown-preview-view.js | ||
renderer.js |