Make the extra detail settable rather than always maximizing it

This commit is contained in:
Erica Fischer
2022-08-29 12:14:29 -07:00
parent 56259e4a16
commit 3668bb9db9
7 changed files with 26 additions and 13 deletions
-1
View File
@@ -25,7 +25,6 @@
#define A_GENERATE_IDS ((int) 'i')
#define A_CONVERT_NUMERIC_IDS ((int) 'I')
#define A_HILBERT ((int) 'h')
#define A_EXTRA_DETAIL ((int) 'E')
#define P_SIMPLIFY ((int) 's')
#define P_SIMPLIFY_LOW ((int) 'S')