summaryrefslogtreecommitdiff
path: root/devel/sml_tk/files/patch-src-export.sml
diff options
context:
space:
mode:
Diffstat (limited to 'devel/sml_tk/files/patch-src-export.sml')
-rw-r--r--devel/sml_tk/files/patch-src-export.sml35
1 files changed, 35 insertions, 0 deletions
diff --git a/devel/sml_tk/files/patch-src-export.sml b/devel/sml_tk/files/patch-src-export.sml
new file mode 100644
index 000000000000..e924a4a3ca19
--- /dev/null
+++ b/devel/sml_tk/files/patch-src-export.sml
@@ -0,0 +1,35 @@
+--- src/export.sml.orig Fri Mar 30 23:39:11 2001
++++ src/export.sml Sun Jan 13 13:45:28 2008
+@@ -198,6 +198,10 @@
+ val moveCItem : WidId -> CItemId -> Coord -> unit
+ val setCItemCoords : WidId -> CItemId -> Coord list -> unit
+
++(* 4.? List Items *)
++ val addLItemConf : WidId -> Configure list -> Mark -> unit
++ val clearLItemConf : WidId -> Mark -> unit
++
+ (* 4.7 Menues *)
+ val popUpMenu : WidId -> int Option.option -> Coord -> unit
+
+@@ -433,6 +437,8 @@
+ val newWinId = newWidgetId (* dodgy *)
+ val newImageId = newWidgetId (* me too *)
+
++ val addLItemConf = WidgetTree.configureLItem
++ val clearLItemConf = WidgetTree.clearLItemConfig
+
+ (* these also have to check their arguments for non-alphanumerical
+ * characters etc. *)
+@@ -478,8 +484,10 @@
+ fun setFontBasesize x= (#BaseSize(Fonts.Config) := x; initFonts())
+
+ fun xSmlTk{imagefile, banner}
+- = SysDep.exportML {init= SysInit.initSmlTk,
+- banner= banner, imagefile=imagefile}
++ = (updTclPath (#default SysConf.wishVar);
++ updLibPath (#default SysConf.libVar);
++ SysDep.exportML {init= SysInit.initSmlTk,
++ banner= banner, imagefile=imagefile})
+
+ val getEnvSetting = SysInit.getEnvSetting
+