2005-12-04

Omroep.nl direct video link for Greasemonkey 0.6.4

This one is for the Dutch readers:

Het user script dat breedband RealVideo video’s op uitzendinggemist.nl direct in de RealPlayer opent in plaats van in de gehate popup is aangepast voor Greasemonkey 0.6.4.

2005-11-21

Button element styling bug in Firefox

I prefer to use button elements in stead of input elements for buttons. When I was trying to create a button of flexible width using two background images, I ran into a nasty styling bug in Firefox regarding buttons: you can't set the padding to 0!

Example HTML:

<button type="submit"><span>A button</span></button>

Example CSS:

button {
  width: 80px;
  height: 24px;
  padding: 0;
  background: #f00;
  border: 0;
}

button span {
  display: block;
  width: 80px;
  height: 24px;
  line-height: 24px;
  text-align: center;
  background: #00f;
}

Result: (this should be a be a blue button without any red showing).

2005-10-30

Show links to embedded media user script updated (again)

I've updated the Greasemonkey user script which adds links to embedded media again. I've improved positioning and extension detection.

2005-10-29

Show links to embedded media user script updated

I've updated the Greasemonkey user script which adds links to embedded media. You can now exclude media by extension and I've added some basic styling.

2005-10-23

Show links to embedded media user script

I can't recall how often I've looked up the URL of an embedded video or Flash file in the HTML source or page info (Firefox). So I wrote a Greasemonkey user script to add a link to the embedded media.

0.4

  • Improved positioning using the positioning method I used in my select element filter user script.
  • embed tags nested in an object tag now overwrite the object tag.
  • You can now exclude embedded media by mime type. This method is more reliable than excluding extensions.
  • The link is now inserted above the embedded media. When the embedded media was placed in a popup window the link sometimes wasn't visible.

0.3

Improved positioning and improved extension detection.

0.2

You can now exclude media by extension and I've added some basic styling.