You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5857 Reporter: meyer Assigned to:@zoggy Status: assigned (set by meyer on 2012-12-17T22:49:14Z) Resolution: open Priority: normal Severity: feature Category: ocamldoc
Bug description
It would be nice to see unicode greek letters as type variables and unicode arrows in type definitions. For example enable in Emacs and tuareg mode:
(setq tuareg-font-lock-symbols t)
The text was updated successfully, but these errors were encountered:
I wonder if, at least for the html backend, there wouldn't be some (CSS ? JS ? Whatever ?) magic to make the text that is copied different from what you actually see in the browser. (Actually, I can't see how such an obviously useful feature couldn't exist)
But I agree it's a bad idea in general, also I'm not sure anyone's really looking into adding new features to ocamldoc nowadays. So indeed, let's close.
@trefis Well, another way to do this is to play (arguably silly) games with ligatures.
Personally, I think this is pointless. We already are accustomed to the signatures without any of those fancy chars, the readability improvements will be negligible or non-existent.
Original bug ID: 5857
Reporter: meyer
Assigned to: @zoggy
Status: assigned (set by meyer on 2012-12-17T22:49:14Z)
Resolution: open
Priority: normal
Severity: feature
Category: ocamldoc
Bug description
It would be nice to see unicode greek letters as type variables and unicode arrows in type definitions. For example enable in Emacs and tuareg mode:
(setq tuareg-font-lock-symbols t)
The text was updated successfully, but these errors were encountered: