HN user

nyordanov

14 karma

[ my public key: https://keybase.io/nyordanov; my proof: https://keybase.io/nyordanov/sigs/cZtSXjkkAjaoQq6aMK2W_F1wtlwUbvkUsTqvPWBrPBA ]

Posts2
Comments21
View on HN

They are still there, but they've changed the UI and removed the lesson permalinks, so it's now harder to both find and use these explanations.

Click on a lesson's circle and there is now a lightbulb icon which opens the detailed lesson.

Firefox 58 9 years ago

Try this: From the "Inspector" tab, click on any CSS file in order to open the Style Editor. Loading the file and then scrolling to the relevant part is much slower than Chrome if you do this on a page with several stylesheets.

You can backup/restore Signal Desktop conversations from the Dev Tools console:

`Whisper.Backup.backupToDirectory()`

`Whisper.Backup.importFromDirectory()`

I also switched from Chrome to Firefox about a year ago and the fat tabs are the only thing that I don't like. The removal of `browser.tabs.tabMinWidth` is very annoying (now you need to create a new CSS file in your profile directory, but there is hardly any documentation for that). Also, 15px of the total tab width are taken by ellipses when the tab title is truncated.

There are add-ons which claim to fix that, but they always change other stuff as well. I just want to get rid of the ellipses and make the tabs take up at most 50-60px. The current 100px-wide tabs have roughly 8px of horizontal padding, 16px favicon, another 8px of whitespace, 40px title, 15px ellipses, and then even more whitespace on the right.

Right, but wouldn't that make PHP code too good looking? The core devs wouldn't allow it ;)

My only wish is that they implement something that evaluates {} to (object)array(). It would come in handy when used with anonymous functions.

Anyway, I am pleased with the new syntax, but sadly, I have to use 5.2 as most of the time I'm working on WordPress projects...

I use Google Reader, the keyboard shortcuts are great. I'd like to have native unread count in the favicon like gmail. Other problem is that the feeds don't refresh automatically (or better, just appending new content without a refresh).