I have added two new Grub splash screens, which can be found on the grub-splash page. They comprise a picture of flowers, and a picture of candles. I will soon start learning how to make Grub 2 splashes, so expect some to arrive within the next year.
I also would like to apologise for the downtime over the past few days, caused by a server change by the hosting service I use. I hope you weren’t too inconvenienced…
While working on the gui for simple rowLog last night I came across the problem of trying to send the keyboard input to a popup-menu to a text entry box. It turned out the dispatchEvent() method of Swing components doesn’t do what it says and dispatches the event to the keyboard manager instead of the component itself, which might reroute it somewhere else (if you’re unlucky it does an endless loop where the same event keeps getting sent to the same component over and over again, which tries to reroute it, but can’t). After fiddling about with reflection and other complicated things, simply in order to get dispatchEvent() to dispatch the event to the component on which the method is called, I discovered the simple solution of using:
KeyboardFocusManager.getCurrentKeyboardFocusManager().redispatchEvent(boatEntry, arg0);
This, it turns out, actually sends the Event (arg0) to where you want it to go (boatEntry), in contrary to the dispatchEvent() method which claims to do this, but doesn’t. I.e. the following code DOESN’T work as specified:
boatEntry.dispatchEvent(arg0)
Today mv_embed, a javascript solution allowing the playing of html5 videos in non-compliant browsers was installed on the site. On browsers with javascript enabled, but that don’t support html5 videos, the script modifies the page, and can also load a java-applet based player, meaning that videos can be viewed on almost all platforms, no matter what browser or plugins are in use. The script is completely free, and is released under the GPL v2.
The only video so far on the site is one of a TI Calculator Emulator here. There probably will be more soon though.
Noteworthy is that the mv_embed script broke my wordpress theme’s (!) scripts. This turned out to be a jQuery problem, explained in a post here. Strangely enough editing the mv_embed script was not enough to fix the page, and the theme’s scripts had to be changed as well, but now everything works, so everyone’s happy 
.
I have discovered myself on Google Earth, and also on Google Maps, right here. What’s more, it includes the whole Scottish Junior Quad. (You can almost smell the sewage works we’re rowing past on the picture…)
While once we thought to know, in fact, it was but the appearance of knowing, but not the knowledge itself, that in our possession was. Seemingly the appearance of knowledge was knowledge itself, but now it appears not to be. While knowledge seemed to be abound, the knowledge that we knew not what knowledge was, seemed to make it not knowledge to me.
The idea became out of nothing, it seemed. But nothing itself an idea, the idea must have come from idea. But whence came the first idea, on which these ideas come to rest? Without the one, the second could not have arisen. Is the idea an absolute, infinite existence, condition-less, on which all else depends? We know not, but think, ourself using the ideas, from whence we do not know they come.
After some kaffuffle, it’s up…
Enjoy
