suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

renamed get-default-style-name to default-style-name

Browse Source 
svn: r1785

original commit: a4bc9352354f1fdd8cf0268ca214030230e5b02b
This commit is contained in:
Matthew Flatt 2006-01-08 14:26:34 +00:00
parent f91a1eb4e1
commit 53d7c80139
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mred/private/kernel.ss
View File

@ -226,7 +226,7 @@
load-file
insert-port
save-port
get-default-style-name
default-style-name
get-flattened-text
put-file
get-file
@ -886,7 +886,7 @@
get-end-position
get-start-position
get-position
get-default-style-name
default-style-name
get-flattened-text
put-file
get-file
@ -1097,7 +1097,7 @@
do-copy
delete
insert
get-default-style-name
default-style-name
get-flattened-text
put-file
get-file