Applescript経由でカラーピッカーを表示しRGB値に変換するwidget http://www.widgetgallery.com/view.php?widget=35996 これ単独で利用価値があるというわけではないが、他のwidgetに組み込んでテキストとかの色を選択する場合に使うと便利そう。PDFToyの色…