We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept”, you consent to the use of ALL the cookies.
Privacy & Cookies Policy
Privacy Overview
This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features.
| Cookie | Duration | Description |
|---|---|---|
| __cf_bm | 30 minutes | This cookie, set by Cloudflare, is used to support Cloudflare Bot Management. |
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
| Cookie | Duration | Description |
|---|---|---|
| __jid | 30 minutes | Cookie used to remember the user's Disqus login credentials across websites that use Disqus. |
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.
| Cookie | Duration | Description |
|---|---|---|
| CONSENT | 2 years | YouTube sets this cookie via embedded youtube-videos and registers anonymous statistical data. |
| disqus_unique | 1 year | Set to record internal statistics for anonymous visitors. |
Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads.
| Cookie | Duration | Description |
|---|---|---|
| NID | 6 months | NID cookie, set by Google, is used for advertising purposes; to limit the number of times the user sees an ad, to mute unwanted ads, and to measure the effectiveness of ads. |
| VISITOR_INFO1_LIVE | 5 months 27 days | A cookie set by YouTube to measure bandwidth that determines whether the user gets the new or old player interface. |
| YSC | session | YSC cookie is set by Youtube and is used to track the views of embedded videos on Youtube pages. |
| yt-remote-connected-devices | never | YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. |
| yt-remote-device-id | never | YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. |
Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet.
| Cookie | Duration | Description |
|---|---|---|
| m | 2 years | No description available. |
| wp_woocommerce_session_dcaab213aa96d962dc975aa5fc3b30c8 | 2 days | No description |
Powered by 
PragmataPro 0.824 – more ligatures and compatibility
all weights: Ligatures are now Contextual Alternates OpenType features to obtain more compatibility with the most part of Text Editors
all weights: added these important ligatures for Scala programming:
## ++= -+- -\/ \/- <~< <==> =/= ??? |-> |--> |=> |==>all weights: improved the design of these ligatures:
<!-- <-- -->all weights: added ligatures to emphasize important message in command line
[INFO] [WARNING] [FATAL] [ERROR] [TRACE] [DEBUG] [WARN] [ERR](thanks to Kim Silkebækken for this cool idea!)
Regular: improved the hinting of numerous glyphs like
x,s,twosuperior,threesuperior,questiondownRegular: improved the design of some math operators
emptyset, intersection, union, multiset, multisetmultiplication, multisetunion, plus.circled, minus.circled, multiply.circled, fraction.circled, operator.circled, ringoperator.circled, asteriskoperator.circled, equals.circled, dash.circled, squaredplus, squaredminus, squaredtimes, squareddotoperator, logicalnotReversed, turnedNotSign, blackDiamond, whiteDiamond, blackDiamond, whiteDiamond, supersetBesideSubset, supersetBesideAndJoinedByDashWithSubset, doubleStrokeNotSign, reversedDoubleStrokeNotSign, logicalnot(thanks to Miëtek Bak for the important support!)
Please visit PragmataPro page for more infos
6 replies to “PragmataPro 0.824 – more ligatures and compatibility”
Dmitry
Missing [OK] and [SUCCESS] for cli output / logs
Fabrizio Schiavi
Thanks for suggested me this! I’ll add them soon
Yaro
Great stuff. Testing it in macOS and MacVim. One note though: Is it possible to also add ligatures for [TODO], [NOTE] and maybe even [HACK]? Those are very common in source code comments. So, it would be nice to be able to spot those special notes right away.
Thanks.
fabrizioschiavi
Yes, absolutely. I’m working just at these new and other ligatures. Thanks for your suggestion!
Yaro
Great. Thanks.
ramana
+1 😉