From f223222532a04ef1e1e17c2bddb5b692278a2956 Mon Sep 17 00:00:00 2001 From: rocky Date: Mon, 5 Aug 2024 14:55:50 -0400 Subject: [PATCH] More doc-related fixes... Add another "\n" at the end of a Compute number boxwidth automatically in tocbox numbers --- mathics/builtin/graphics.py | 4 +++- mathics/doc/latex/mathics.tex | 10 ++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/mathics/builtin/graphics.py b/mathics/builtin/graphics.py index eee38b9b0..2af729e66 100644 --- a/mathics/builtin/graphics.py +++ b/mathics/builtin/graphics.py @@ -485,7 +485,9 @@ class PointSize(_Size):
'PointSize[$t$]'
sets the diameter of points to $t$, which is relative to the overall width. - 'PointSize' can be used for both two- and three-dimensional graphics. The initial default pointsize is 0.008 for two-dimensional graphics and 0.01 for three-dimensional graphics. + + 'PointSize' can be used for both two- and three-dimensional graphics. \ + The initial default pointsize is 0.008 for two-dimensional graphics and 0.01 for three-dimensional graphics. >> Table[Graphics[{PointSize[r], Point[{0, 0}]}], {r, {0.02, 0.05, 0.1, 0.3}}] = {-Graphics-, -Graphics-, -Graphics-, -Graphics-} diff --git a/mathics/doc/latex/mathics.tex b/mathics/doc/latex/mathics.tex index 0462a6bc1..353216fd3 100644 --- a/mathics/doc/latex/mathics.tex +++ b/mathics/doc/latex/mathics.tex @@ -21,6 +21,16 @@ \documentclass[index=totoc,fleqn,10pt,oneside,toc=flat]{scrbook} +% The number is sections and subsections can get high, for example: +% 26.2.16 PolarPlot +% ^^^^^^^ +% So we need the below to automatically calculate the width numbers can take +% See: +% https://tex.stackexchange.com/questions/694088/koma-book-class-listoftables-increase-the-space-between-the-number-and-title-of +\DeclareTOCStyleEntry[dynnumwidth]{default}{chapter} +\DeclareTOCStyleEntry[dynnumwidth]{default}{section} +\DeclareTOCStyleEntry[dynnumwidth]{default}{subsection} + %\usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{gensymb} % For \degree. usepackage needs to be early.