Something I accidentally discovered is that in Windows 8.1 (and probably 8 as well – and Windows 7) you can use the Windows key + a number to open an application from your task bar!
So lets say you’ve got Google Chrome at position 1, Thunderbird at 2 and Visual Studio 2012 at position 3. To open Thunderbird simply press Windows key + 2. For the other applications use their position number.
Useful? I don’t know, but it’s nice to know this shortcut exists to keep your hand away from your mouse I guess.
Looks like there’s finally a decent replacement for the Windows command line tool! It’s called cmder and comes with Git (optionally) and a bunch of other great command line utilities such as curl, cat, ls, less and even ssh!
I did run into a couple of issues with the console not responding and also couldn’t use tmux during an ssh session. But that’s fine for now, I’m willing to give it a chance. You can get it at http://bliker.github.io/cmder/.
I was happily running Windows 8 on my 17″ laptop with full HD screen and had no complaints when it came to the size of icons and texts. After I upgraded to Windows 8.1 I noticed that the icons on my desktop and taskbar were a lot smaller than before. After opening my text editor of choice (GVim) I noticed that the text was smaller as well.
Whilst I kinda liked the size of the icons I didn’t care much for the new font size so I started looking for a solution. Thankfully there is one.
Through system settings locate your display and check the checkbox numbered 1 in the picture. This picture is in Dutch but I suspect the location of these settings are the same in other languages. Next at number 2 select ‘normal 125%’ and save your changes.
After these changes all should be normal again. It’s probably not required for bigger screens with a 1080p resolution such as a 24″ display. But on a 17″ laptop with a 1080p resolution it just gets a bit too small.
Other helpful resources on this topic: