R. David Murray added the comment:

My memory of the thread (I haven't gone back and checked) was that the thought 
was to drop html output altogether because the sphinx docs were more useful for 
anyone wanting to use html, and network connectivity was so universal in this 
day and age that having a local html server for offline uses was of minimal 
utility.

So your vote that it be kept because it is useful to idle and can be made more 
useful by improving the html seems to me to decide the issue in favor of making 
the improvements (given someone willing to do the patch review and any 
additional needed coding).

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue10716>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to