Added Html clipboard format & fixed rich text format on windows (gtk
backend).