From: Daniel W. <dm...@lu...> - 2012-10-10 23:58:54
|
diffing dir... Thu Oct 11 00:25:56 BST 2012 Daniel Wagner <da...@wa...> * fix documentation bug: mention widgetTooltipText instead of widgetSetTooltipText Ignore-this: f9b29cc7376afc3312852126bc2a65b9 hunk ./gtk/Graphics/UI/Gtk/Misc/Tooltip.chs 37 --- Basic tooltips can be realized simply by using 'widgetSetTooltipText' or --- 'widgetSetTooltipMarkup' without any explicit tooltip object. +-- Basic tooltips can be realized simply by using 'widgetTooltipText' or +-- 'widgetTooltipMarkup' without any explicit tooltip object. |