void clipboard_copy_size(const Size& size){
  Clipboard clip;
  if (clip.Good()){
    clip.SetText(serialize_size(size));
  }
}