Skip to content

Commit

Permalink
[#4136] Custom View
Browse files Browse the repository at this point in the history
  • Loading branch information
Oscar Nierstrasz committed Oct 30, 2024
1 parent 6b39524 commit eceb0c5
Show file tree
Hide file tree
Showing 4 changed files with 487 additions and 123 deletions.
74 changes: 74 additions & 0 deletions lepiter/8gq4sythwb8jl6tfay96smfyc.lepiter
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,80 @@
"__type" : "textStyle"
},
"string" : "[[DRAFT]]"
},
{
"__type" : "textSnippet",
"children" : {
"__type" : "snippets",
"items" : [ ]
},
"createEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"createTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:02:52.723336+01:00"
}
},
"editEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"editTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:03:04.330311+01:00"
}
},
"uid" : {
"__type" : "uid",
"uidString" : "haWmuxTiDQCrCF6SDEzYzA=="
},
"paragraphStyle" : {
"__type" : "textStyle"
},
"string" : "See also: [[Narrative Picture]] and [[Landscape Picture]]"
},
{
"__type" : "textSnippet",
"children" : {
"__type" : "snippets",
"items" : [ ]
},
"createEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"createTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:03:05.220697+01:00"
}
},
"editEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"editTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:03:05.220697+01:00"
}
},
"uid" : {
"__type" : "uid",
"uidString" : "y1dlvBTiDQCrnavzDEzYzA=="
},
"paragraphStyle" : {
"__type" : "textStyle"
},
"string" : ""
}
]
},
Expand Down
83 changes: 79 additions & 4 deletions lepiter/98p0537dgjllrko3jqmdk8243.lepiter
Original file line number Diff line number Diff line change
Expand Up @@ -285,7 +285,7 @@
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T13:58:08.86884+01:00"
"dateAndTimeString" : "2024-10-30T16:35:34.660343+01:00"
}
},
"editEmail" : {
Expand All @@ -296,17 +296,17 @@
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T13:58:43.158145+01:00"
"dateAndTimeString" : "2024-10-30T16:35:34.660343+01:00"
}
},
"uid" : {
"__type" : "uid",
"uidString" : "CzScv63LDQCx2ykaDA/m3Q=="
"uidString" : "222XMBXiDQCRd84dDEzYzA=="
},
"paragraphStyle" : {
"__type" : "textStyle"
},
"string" : "Make the development tools *moldable* to the *dynamic context* of the artifacts they are intended to work with [3](https://scg.unibe.ch/assets/scgbib/?query=Chis17a&filter=Author), by associating custom behavior to the artifacts themselves."
"string" : "Make the development tools *moldable* to the *dynamic context* of the artifacts they are intended to work with, by associating custom behavior to the artifacts themselves."
}
]
},
Expand Down Expand Up @@ -1122,6 +1122,81 @@
"__type" : "textStyle"
},
"string" : "# Related patterns"
},
{
"__type" : "textSnippet",
"children" : {
"__type" : "snippets",
"items" : [
{
"__type" : "textSnippet",
"children" : {
"__type" : "snippets",
"items" : [ ]
},
"createEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"createTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:35:50.713374+01:00"
}
},
"editEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"editTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:35:58.387976+01:00"
}
},
"uid" : {
"__type" : "uid",
"uidString" : "TGKMMRXiDQCR8aK5DEzYzA=="
},
"paragraphStyle" : {
"__type" : "textStyle"
},
"string" : "[Moldable Tools for Object-oriented Development](https://scg.unibe.ch/assets/scgbib/?query=Chis17a&filter=Author)"
}
]
},
"createEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"createTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:35:43.874617+01:00"
}
},
"editEmail" : {
"__type" : "email",
"emailString" : "<unknown>"
},
"editTime" : {
"__type" : "time",
"time" : {
"__type" : "dateAndTime",
"dateAndTimeString" : "2024-10-30T16:35:50.38902+01:00"
}
},
"uid" : {
"__type" : "uid",
"uidString" : "3wMkMRXiDQCRk0iLDEzYzA=="
},
"paragraphStyle" : {
"__type" : "textStyle"
},
"string" : "# Further reading"
}
]
},
Expand Down
Loading

0 comments on commit eceb0c5

Please sign in to comment.