This website works better with JavaScript.
Home
Explore
Help
Sign In
carpentry
/
pond
Watch
1
Star
0
Fork
0
Code
Issues
0
Pull Requests
0
Releases
0
Wiki
Activity
Browse Source
editor: add simple carp editor
master
Veit Heller
1 year ago
parent
40c60f36ab
commit
dd28135d14
6 changed files
with
37 additions
and
0 deletions
Split View
Diff Options
Show Stats
Download Patch File
Download Diff File
+1
-0
Pond.package/CarpEditor.class/README.md
+8
-0
Pond.package/CarpEditor.class/instance/gtCheck.st
+6
-0
Pond.package/CarpEditor.class/instance/gtContent..st
+5
-0
Pond.package/CarpEditor.class/instance/initialize.st
+3
-0
Pond.package/CarpEditor.class/instance/text.st
+14
-0
Pond.package/CarpEditor.class/properties.json
+ 1
- 0
Pond.package/CarpEditor.class/README.md
View File
@@ -0,0 +1 @@
I’m a simple editor with Carp code in it.
+ 8
- 0
Pond.package/CarpEditor.class/instance/gtCheck.st
View File
@@ -0,0 +1,8 @@
initialization
gtCheck
<gtInspectorAction>
"TODO: make carp checker configurable"
^ GLMGenericAction new
action: [ GTInspector openOn: (CarpCheckExample new succeedingCarpChecker file: editor text asString; check) ];
icon: GLMUIThemeExtraIcons glamorousRefresh;
title: 'Check'
+ 6
- 0
Pond.package/CarpEditor.class/instance/gtContent..st
View File
@@ -0,0 +1,6 @@
initialization
gtContent: aView
<gtInspectorPresentationOrder: 0>
(aView custom: editor)
title: 'Editor';
display: text
+ 5
- 0
Pond.package/CarpEditor.class/instance/initialize.st
View File
@@ -0,0 +1,5 @@
initialization
initialize
text := ''.
"TODO: find out how to override the mode properly"
editor := GLMRubricHighlightedTextPresentation new withLineNumbers: true; editingMode: RubPlainTextMode new
+ 3
- 0
Pond.package/CarpEditor.class/instance/text.st
View File
@@ -0,0 +1,3 @@
initialization
text
^ text
+ 14
- 0
Pond.package/CarpEditor.class/properties.json
View File
@@ -0,0 +1,14 @@
{
"commentStamp" : "VeitHeller 12/18/2019 21:39",
"super" : "Object",
"category" : "Pond",
"classinstvars" : [ ],
"pools" : [ ],
"classvars" : [ ],
"instvars" : [
"text",
"editor"
],
"name" : "CarpEditor",
"type" : "normal"
}
Write
Preview
Loading…
Cancel
Save