Ticket #1475: sage-1475_2.patch

File sage-1475_2.patch, 0.8 kB (added by TimothyClemans, 4 months ago)

  • a/sage/server/notebook/notebook.py

    old new  
    617617                                system = self.system(username), 
    618618                                owner=username, 
    619619                                docbrowser = docbrowser, 
     620                                pretty_print = self.user(username)['default_pretty_print'], 
    620621                                auto_publish = False) 
    621622 
    622623        if add_to_list: