+2014-10-10 Glenn Morris <rgm@gnu.org>
+
+ * info.el (Info-fontify-maximum-menu-size): Bump to 400k. (Bug#16227)
+
2014-10-09 Glenn Morris <rgm@gnu.org>
* frame.el (display-monitor-attributes-list): Doc tweaks.
:type 'boolean
:group 'info)
-(defcustom Info-fontify-maximum-menu-size 100000
+(defcustom Info-fontify-maximum-menu-size 400000
"Maximum size of menu to fontify if `font-lock-mode' is non-nil.
Set to nil to disable node fontification."
:type 'integer
+ :version "25.1" ; 100k -> 400k
:group 'info)
(defcustom Info-use-header-line t