3 ms·
I just took a look at the quickstart guide. The way the code snippets are implemented is gorgeous. They are syntax highlighted, are formatted/indented exactly a
by laszlokorte 4y ago
I just took a look at the quickstart guide. The way the code snippets are implemented is gorgeous. They are syntax highlighted, are formatted/indented exactly as they would be in the terminal, line breaks are indented correctly but css is used to make them easily copy/pastable without including any line numbers/indentation characters. Such a delight. Such focus on details. Makes me really confident in the rest of the project.
- 1st1 4y agoFinally somebody compliments that! Jokes aside, thank you!
- sedatk 4y agoI agree. There was a small glitch where the field year was defined as release_year at the beginning. I wanted to submit a PR but it was already fixed on github version, just not published yet.
- jeshin 4y agoTIL about user-select:none; That's useful, I hate copying code snippets alongside line numbers and other weirdness
- 1st1 4y agoWe use it throughout our UI in all interactive elements. It's super annoying when, say, a button or a navigation element gets accidentally selected for no reason.
- matheusmoreira 4y agoIt's great... Until people start abusing it as an ineffective copy protection mechanism.
- jeshin 4y agopeople can already do that with javascript anyway
- inferiorhuman 4y agoI had no idea what EdgeDB is/was so I took a look at the site. The first thing that stood out was a typo (that's instead of that). It's since been fixed, but I had to chuckle at attention to detail.