This is pretty neat, but the description fails to mention which languages it supports. I tend to look at githubs for a lot of weird languages and if this thing can properly highlight F# then I'm installing it on all my computers.
I got to "this app wants to see all of your browsing history" and thought to myself, "why the hell would they want that?" So I clicked cancel and didn't install it.
About that... I make no use of the user's browser history. But I need the "tabs" permissions. I also have to be able to access all urls. I could indeed access all your history and data with these permissions but that's a byproduct of the functioning and intent of the extension. I make no such thing... Just highlight code. Here is my manifest.json
I decided it's going to be really useful, so I saved & unzipped .crx to see what code it wants to inject into pages. Looks like fine javascript, so I have it installed.
(Though, of course, it can be updated with some evilness later. Unfortunately, too much suspicion is often counterproductive.)
I've been using this for awhile now and it's been really invaluable for looking through stuff like JSON feeds or raw JS. Also has some nice color themes and font options.
I believe it is. Perhaps you're referring to the old standard of black background terminals. If you look at mainstream desktop editors, the popular trend from the late 80's through the 90's was ever lighter backgrounds. Now, it seems, the popular trend is toward various dark shades.
Incidentally, I'm at a loss as to why I received downvotes for asking about design.
People believe that dark background makes extensive reading from the screen easier for the eyes, and many advanced users accustomed themselves to it while working without GUI. So yes, light text on dark background is and always has been especially common among programmers.
and many advanced users accustomed themselves to it while working without GUI
Ah, the old HN anti-GUI bias again.
As for the eyestrain issue, I suspect people don't remember how bad CRT monitors were until near the end. Getting a consistent, bright white was difficult and very expensive. Horrible dot pitch meant bloom between very bright and dark colors. Color-related eyestrain just isn't the issue that it used to be.
