Merge 5d3afe3

feenkcom · Jun 25, 2024 · dda6774 · dda6774
2 parents 27b6d7b + 5d3afe3
commit dda6774
Show file tree

Hide file tree

Showing 6 changed files with 955 additions and 40 deletions.
diff --git a/lepiter/3g3781052c0zhq0qvf6csjamr.lepiter b/lepiter/3g3781052c0zhq0qvf6csjamr.lepiter
@@ -263,7 +263,7 @@
 				},
 				"exampleSelector" : "scripterWithElaborateScenario",
 				"previewHeight" : 500,
-				"previewShowSelector" : "gtStepsFor:",
+				"previewShowSelector" : "gtStepsMondrianTreeFor:",
 				"exampleBehaviorName" : "GtTour",
 				"codeExpanded" : true,
 				"previewExpanded" : false,

diff --git a/lepiter/6k9vwu4iqoe6r1g3or2plhse3.lepiter b/lepiter/6k9vwu4iqoe6r1g3or2plhse3.lepiter
@@ -4574,6 +4574,43 @@
 								"__type" : "textStyle"
 							},
 							"string" : "[[Loading and managing code configurations with Metacello]]"
+						},
+						{
+							"__type" : "textSnippet",
+							"children" : {
+								"__type" : "snippets",
+								"items" : [ ]
+							},
+							"createEmail" : {
+								"__type" : "email",
+								"emailString" : "<unknown>"
+							},
+							"createTime" : {
+								"__type" : "time",
+								"time" : {
+									"__type" : "dateAndTime",
+									"dateAndTimeString" : "2024-06-22T11:00:35.987167+02:00"
+								}
+							},
+							"editEmail" : {
+								"__type" : "email",
+								"emailString" : "<unknown>"
+							},
+							"editTime" : {
+								"__type" : "time",
+								"time" : {
+									"__type" : "dateAndTime",
+									"dateAndTimeString" : "2024-06-22T14:51:28.464701+02:00"
+								}
+							},
+							"uid" : {
+								"__type" : "uid",
+								"uidString" : "iZmrhNjXDQCEDPv+BqGymA=="
+							},
+							"paragraphStyle" : {
+								"__type" : "textStyle"
+							},
+							"string" : "[[Querying SmaCC abstract syntax trees (ASTs)]]"
 						}
 					]
 				},
@@ -6514,6 +6551,43 @@
 											"__type" : "textStyle"
 										},
 										"string" : "[[How do I add a Lepiter database to an existing repo?]]"
+									},
+									{
+										"__type" : "textSnippet",
+										"children" : {
+											"__type" : "snippets",
+											"items" : [ ]
+										},
+										"createEmail" : {
+											"__type" : "email",
+											"emailString" : "<unknown>"
+										},
+										"createTime" : {
+											"__type" : "time",
+											"time" : {
+												"__type" : "dateAndTime",
+												"dateAndTimeString" : "2024-06-23T08:24:38.76518+02:00"
+											}
+										},
+										"editEmail" : {
+											"__type" : "email",
+											"emailString" : "<unknown>"
+										},
+										"editTime" : {
+											"__type" : "time",
+											"time" : {
+												"__type" : "dateAndTime",
+												"dateAndTimeString" : "2024-06-23T08:25:03.635227+02:00"
+											}
+										},
+										"uid" : {
+											"__type" : "uid",
+											"uidString" : "0BnHdOrXDQCnje19C8IszQ=="
+										},
+										"paragraphStyle" : {
+											"__type" : "textStyle"
+										},
+										"string" : "[[How to guard against inifinte loops?]]"
 									}
 								]
 							},
@@ -12287,43 +12361,6 @@
 										},
 										"string" : "[[Investigating GemStone operation performance]]"
 									},
-									{
-										"__type" : "textSnippet",
-										"children" : {
-											"__type" : "snippets",
-											"items" : [ ]
-										},
-										"createEmail" : {
-											"__type" : "email",
-											"emailString" : "<unknown>"
-										},
-										"createTime" : {
-											"__type" : "time",
-											"time" : {
-												"__type" : "dateAndTime",
-												"dateAndTimeString" : "2024-06-21T21:13:27.225303+02:00"
-											}
-										},
-										"editEmail" : {
-											"__type" : "email",
-											"emailString" : "<unknown>"
-										},
-										"editTime" : {
-											"__type" : "time",
-											"time" : {
-												"__type" : "dateAndTime",
-												"dateAndTimeString" : "2024-06-21T21:13:54.029095+02:00"
-											}
-										},
-										"uid" : {
-											"__type" : "uid",
-											"uidString" : "18mQ9szXDQCPlJJ8DTxBnw=="
-										},
-										"paragraphStyle" : {
-											"__type" : "textStyle"
-										},
-										"string" : "[[Using styled text in GemStone]]"
-									},
 									{
 										"__type" : "textSnippet",
 										"children" : {
@@ -15751,6 +15788,43 @@
 				"children" : {
 					"__type" : "snippets",
 					"items" : [
+						{
+							"__type" : "textSnippet",
+							"children" : {
+								"__type" : "snippets",
+								"items" : [ ]
+							},
+							"createEmail" : {
+								"__type" : "email",
+								"emailString" : "<unknown>"
+							},
+							"createTime" : {
+								"__type" : "time",
+								"time" : {
+									"__type" : "dateAndTime",
+									"dateAndTimeString" : "2024-06-22T21:29:03.291745+02:00"
+								}
+							},
+							"editEmail" : {
+								"__type" : "email",
+								"emailString" : "<unknown>"
+							},
+							"editTime" : {
+								"__type" : "time",
+								"time" : {
+									"__type" : "dateAndTime",
+									"dateAndTimeString" : "2024-06-22T21:29:05.205156+02:00"
+								}
+							},
+							"uid" : {
+								"__type" : "uid",
+								"uidString" : "Y2QzTOHXDQCgdMMPC8IszQ=="
+							},
+							"paragraphStyle" : {
+								"__type" : "textStyle"
+							},
+							"string" : "[[AST]]"
+						},
 						{
 							"__type" : "textSnippet",
 							"children" : {

diff --git a/lepiter/7gkxhsrfoc11i8k03v35q7fhb.lepiter b/lepiter/7gkxhsrfoc11i8k03v35q7fhb.lepiter
@@ -1053,14 +1053,14 @@
 					"__type" : "time",
 					"time" : {
 						"__type" : "dateAndTime",
-						"dateAndTimeString" : "2024-06-13T11:35:02.634694+02:00"
+						"dateAndTimeString" : "2024-06-22T15:58:57.945332+02:00"
 					}
 				},
 				"uid" : {
 					"__type" : "uid",
 					"uidString" : "tq+jhv7WDQCQwr7bDbYEfg=="
 				},
-				"code" : "GtGitHubCLITool new\r\treadTokenFrom: FileLocator home / '.secrets' / 'gh_token.txt';\r\tworkingDirectory: (IceRepository repositoryNamed: 'gtoolkit-inspector') location;\r\tforkRepository"
+				"code" : "GtGitHubCLITool new\r\treadTokenFrom: FileLocator home / '.secrets' / 'gh_token.txt';\r\tworkingDirectory: (IceRepository repositoryNamed: 'gtoolkit-inspector') location;\r\tfork"
 			},
 			{
 				"__type" : "textSnippet",