Points to the flaw in interface dependency management.
Unified · Split
| @@ -6,12 +6,9 @@ val vscrollhit : int -> bool · 5 unmodified lines | ||
| 6 | 6 | val firstof : int -> int -> int |
| 7 | 7 | val calcfirst : int -> int -> int |
| 8 | 8 | val enttext : unit -> unit |
| 9 | −val textentrykeyboard : | |
| 10 | − int -> | |
| 11 | − int -> | |
| 9 | +val textentrykeyboard : int -> int -> | |
| 12 | 10 | (string * string * Config.onhist option * Config.onkey * Config.ondone * |
| 13 | − Config.cancelonempty) * | |
| 14 | − Config.onleave -> unit | |
| 11 | + Config.cancelonempty) * Config.onleave -> unit | |
| 15 | 12 | class type lvsource = |
| 16 | 13 | object |
| 17 | 14 | method exit : |
| @@ -67,5 +64,25 @@ class listview : · 49 unmodified lines | ||
| 67 | 64 | method updownlevel : int -> 'a |
| 68 | 65 | method zoom : float -> int -> int -> unit |
| 69 | 66 | end |
| 70 | −val coe : listview -> Config.uioh | |
| 71 | −val setuioh : Config.uioh -> unit | |
| 67 | +val coe : < alwaysscrolly : bool; | |
| 68 | + button : int -> bool -> int -> int -> int -> #Config.uioh; | |
| 69 | + display : unit; eformsgs : bool; | |
| 70 | + infochanged : Config.infochange -> unit; | |
| 71 | + key : int -> int -> #Config.uioh; modehash : Config.keyhash; | |
| 72 | + motion : int -> int -> #Config.uioh; | |
| 73 | + multiclick : int -> int -> int -> int -> #Config.uioh; | |
| 74 | + pmotion : int -> int -> #Config.uioh; | |
| 75 | + scroll : int -> int -> #Config.uioh; | |
| 76 | + scrollph : int * float * float; scrollpw : int * float * float; | |
| 77 | + zoom : float -> int -> int -> unit; .. > -> Config.uioh | |
| 78 | +val setuioh : < alwaysscrolly : bool; | |
| 79 | + button : int -> bool -> int -> int -> int -> #Config.uioh; | |
| 80 | + display : unit; eformsgs : bool; | |
| 81 | + infochanged : Config.infochange -> unit; | |
| 82 | + key : int -> int -> #Config.uioh; modehash : Config.keyhash; | |
| 83 | + motion : int -> int -> #Config.uioh; | |
| 84 | + multiclick : int -> int -> int -> int -> #Config.uioh; | |
| 85 | + pmotion : int -> int -> #Config.uioh; | |
| 86 | + scroll : int -> int -> #Config.uioh; | |
| 87 | + scrollph : int * float * float; scrollpw : int * float * float; | |
| 88 | + zoom : float -> int -> int -> unit; .. > -> unit | |