#14733: pretty unicode banner
-----------------------------+----------------------------------------------
   Reporter:  chapoton       |             Owner:  tbd              
       Type:  enhancement    |            Status:  new              
   Priority:  minor          |         Milestone:  sage-5.11        
  Component:  PLEASE CHANGE  |          Keywords:  banner, unicode  
Work issues:                 |   Report Upstream:  N/A              
  Reviewers:                 |           Authors:  Frédéric Chapoton
  Merged in:                 |      Dependencies:                   
   Stopgaps:                 |  
-----------------------------+----------------------------------------------
 Using unicode, one can get the banner to look like that:
 {{{
 ┌────────────────────────────────────────────────────────────────────┐
 │ Sage Version 5.8, Release Date: 2013-03-15                         │
 │ Type "notebook()" for the browser-based notebook interface.        │
 │ Type "help()" for help.                                            │
 └────────────────────────────────────────────────────────────────────┘
 ┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
 ┃                                                                    ┃
 ┃ Warning: this is a prerelease version, and it may be unstable.     ┃
 ┃                                                                    ┃
 ┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
 }}}

 But maybe it is better to avoid unicode ?

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14733>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to