Ticket #520 (closed enhancement: fixed)

Opened 4 years ago

Last modified 3 years ago

Use nice Unicode characters for inequalities

Reported by: Porges Owned by:
Priority: normal Milestone:
Component: hackageDB website Version: 1.6.0.1
Severity: minor Keywords:
Cc: Difficulty: very easy (<1 hour)
GHC Version: Platform:

Description

This is a terribly minor request, but it would make the display nicer :)

In dependency restrictions, instead of displaying (>=), (<=), use (≥), (≤).

Attachments

bug520.dpatch Download (21.7 KB) - added by nomeata 3 years ago.

Change History

Changed 4 years ago by Porges

  • type changed from defect to enhancement

Sorry, I accidentally reported this as defect rather than enhancement.

Changed 3 years ago by nomeata

I just implemented this feature request. I’d appreciate if it could be applied to the production instance. The use of ≡ for == is debatable, I’m happy with = as well.

Changed 3 years ago by nomeata

Changed 3 years ago by ross

  • status changed from new to closed
  • resolution set to fixed

Uses (≥) and (≤), but = is elided.

Note: See TracTickets for help on using tickets.