Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
_6mdd
on Nov 20, 2021
|
parent
|
context
|
favorite
| on:
JEdit – Programmer's Text Editor
For the longest, I have been looking for a text editor that uses some of the themes used in highlight.js [0]. I can never seem to find one whenever I look.
0:
https://highlightjs.org/
Aeolun
on Nov 20, 2021
[–]
You can copy the themes yourself?
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
0: https://highlightjs.org/