Today I used the “selector1, selector2, selectorN” selector in jQuery and was confused that, in some cases, when looping over the results I got them in the order of the selectors and not in the order of the elements in the page. I had expected it to work as an OR operator. My code looked [...]
The idea
Some applications that play sound do not allow the user to save those sounds for later listening. However, it is possible to tap into the audio playing through the sound card and record it to file (see here and here). This is one way to do what generally is called “ripping”.
Sometimes it is [...]
Since December I am a Linux-only user at home, but previously I had a mac. One of my main problems was that it was up to the applications if it would be possible to maximize their windows. There is a zoom button on every window, but the point of that button is not to maximize [...]
JavaScript does not have modules builtin, but since it is such an open language, it is possible for the developer to create a custom module system. Looking around on the web, it is soon obvious that there are several ways to do this. Here I will present that path I have taken. I have chosen [...]
While editing the previous post I had various problems with the formatting of the command line. Some googling led me to the file /wp-includes/formatting.php where a lot of replacements are done. Edit the function wptexturize to get rid of some bad stuff (for example, I don’t want WP to replace double dashes (–) with [...]