Skip to content

Commit

Permalink
[#4136] Added MoldableObject scripted figure
Browse files Browse the repository at this point in the history
  • Loading branch information
Oscar Nierstrasz committed Nov 4, 2024
1 parent 88aae05 commit 7120e4d
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions lepiter/9jkob03k21sbjujct0kh60016.lepiter
Original file line number Diff line number Diff line change
Expand Up @@ -520,7 +520,7 @@
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-31T10:39:59.903425+01:00"
"dateAndTimeString" : "2024-11-04T11:59:50.282994+01:00"
}
},
"uid" : {
Expand All @@ -530,7 +530,7 @@
"paragraphStyle" : {
"__type" : "textStyle"
},
"string" : "Below we see an Inspector on an instance of a GtLudoRecordingGame with a Contextual Playground where we can write experimental code that we later extract as methods. (Lift the handle at the bottom of the Inspector.) In this case we are prototyping the autoplay feature. In the second pane we see the History view of the object, showing the details of all the moves of the game."
"string" : "Below we see an Inspector on an instance of a GtLudoRecordingGame with a Contextual Playground where we can write experimental code that we later extract as methods. (Lift the handle at the bottom of the Inspector.) In this case we are prototyping the autoplay feature. In the second pane we see the Moves view of the object, showing the details of all the moves of the game so far."
},
{
"__type" : "elementSnippet",
Expand All @@ -546,7 +546,7 @@
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-31T10:39:03.733415+01:00"
"dateAndTimeString" : "2024-11-04T11:58:48.840269+01:00"
}
},
"editEmail" : {
Expand All @@ -557,15 +557,15 @@
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-31T10:39:11.282222+01:00"
"dateAndTimeString" : "2024-11-04T11:59:09.620269+01:00"
}
},
"uid" : {
"__type" : "uid",
"uidString" : "NylvUyTiDQCKp4IUA6N1iA=="
"uidString" : "P5kD6HXiDQC7sh16Bld4LA=="
},
"code" : "GtInspector newOn: GtLudoRecordingGame new ",
"elementHeight" : 448,
"code" : "PatternScripterExamples new moldableLudoGamePlaygroundScript elementWithoutParent",
"elementHeight" : 677,
"codeHeight" : 50,
"codeVisible" : false
},
Expand Down

0 comments on commit 7120e4d

Please sign in to comment.