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.825 – more pros!
— Added Extra Bow Drawing symbols suggested by Dmtri Nesteruk
Some month ago Dmtri Nesteruk wrote me an email with a sketched good idea: to add a bullet to some used box drawing glyphs. The result is very interesting! By now also a lot of graphic designers can be rethink the use of box drawing.
The entire map of the metro of Milan I redesigned using this exclusive box drawing method
Perfect also for text only diagrams
— Added
[FIXME] [TODO] [BUG] [NOTE] [HACK] [MARK]ligatures to emphasize important messages in command lineAfter all these notifications I suppose now has all the command line messages emphasized
— Added all the icons of Nerd font
Nerd font contents a lot icons useful to Vim users. More info: http://nerdfonts.com/
— Regular: improved the design of the entire Fullwidth and Halfwidth letters
PragmataPro can interact more better with other CJK fonts.
— Minors improvements:
— Regular: added power symbols to Miscellaneous Technical set
— all weights: improved the TrueType hinting above all for Microsoft Windows
— all weights: added
:<: :>:ligatures for Scala— all weights: added
:) :-) :( :-( :D :P :3ligatures for text chattingFeel free to contact me directly or notify an issue via Github to improve PragmataPro again and again.
Thank you!
2 replies to “PragmataPro 0.825 – more pros!”
Reisen
Are the nerd fonts going to come to the Mono version of PragmataPro?
Fabrizio Schiavi
No because Nerd symbols are double width of Mono version