Title photo
frugal technology, simple living and guerrilla large-appliance repair

Regular blog here, 'microblog' there

Many of my traditional blog post live on this site, but a great majority of my social-style posts can be found on my much-busier microbloging site at updates.passthejoe.net. It's busier because my BlogPoster "microblogging" script generates short, Twitter-style posts from the Linux or Windows (or anywhere you can run Ruby with too many Gems) command line, uploads them to the web server and send them out on my Twitter and Mastodon feeds.

I used to post to this blog via scripts and Unix/Linux utilities (curl and Unison) that helped me mirror the files locally and on the server. Since this site recently moved hosts, none of that is set up. I'm just using SFTP and SSH to write posts and manage the site.

Disqus comments are not live just yet because I'm not sure about what I'm going to do for the domain on this site. I'll probably restore the old domain at first just to have some continuity, but for now I like using the "free" domain from this site's new host, NearlyFreeSpeech.net.

Mon, 09 Dec 2013

GNOME 3: Adjust 'hot corner' sensitivity with the Activities Configurator extension

It kept nagging at me. Why was the "hot corner" in Debian's version of GNOME 3 so "sensitive," compared to the GNOME 3 desktop's hot corner in Fedora 19?

In Fedora, I'd mouse into the upper left "hot corner," and half the time wouldn't get the app panel or search box to open. I'd have to "aggressively" mouse to get it working.

So I've been using GNOME 3 less and less. Was it just too slow?

Today I did a bit of searching and found out that "hot corner" sensitivity was something that the user can set, not in stock GNOME 3 but with the Activities Configurator extension.

I installed the extension and cranked the sensitivity number way down, from 100 to 43, making it more sensitive. Now my "hot corner" is much more responsive to mouse movement, and GNOME 3 is easier to use.

Once you have the extension installed, you can access its settings via the GNOME Tweak Tool, or by right-clicking on the "Activities" menu or the little smiley face that now appears to its left.