From 3386d0d537a498adce65f313aacb7ca4a147a4d2 Mon Sep 17 00:00:00 2001 From: Sunil Shetye Date: Fri, 24 Aug 2018 11:46:02 +0530 Subject: remove exprs and gr_i from default global list --- js/Misc/AUTOMAT.pickle | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) (limited to 'js/Misc/AUTOMAT.pickle') diff --git a/js/Misc/AUTOMAT.pickle b/js/Misc/AUTOMAT.pickle index 71d0c4df..4af49130 100644 --- a/js/Misc/AUTOMAT.pickle +++ b/js/Misc/AUTOMAT.pickle @@ -4,24 +4,20 @@ p0 ((lp1 S'ok' p2 -aS'XP' +aS'X0' p3 -aS'exprs' +aS'graphics' p4 -aS'gr_i' +aS'x' p5 -aS'graphics' +aS'XP' p6 -aS'x' -p7 aS'model' -p8 -aS'X0' -p9 +p7 aS'Minitial' -p10 -atp11 -Rp12 +p8 +atp9 +Rp10 .(dp0 S'NMode_old' p1 -- cgit