Re: patch for bug: use double for Gtk Adjustment.set_value

Jacques Garrigue <[email protected]> Fri, 22 Aug 2014 19:11:06 +0900
Newsgroups gmane.comp.lang.ocaml.lib.gtk
Message-ID <[email protected]>
SGkgRmVsaXgsCgpZb3UgYXJlIHJpZ2h0LCBhbmQgSSB3b3VsZCBnbyBmdXJ0aGVyOiB0aGVyZSBp
cyBubyBwb2ludCBpbiB1c2luZyBGbG9hdF92YWwgYW55d2hlcmUsCnNvIEkganVzdCBtYWRlIGl0
IGFuIGFsaWFzIGZvciBEb3VibGVfdmFsLiBFdmVyeXRoaW5nIGNvbXBpbGVzIHdpdGhvdXQgd2Fy
bmluZywgc28KdGhpcyBzZWVtcyB0byBiZSB0aGUgcmlnaHQgY2hvaWNlLgoKSmFjcXVlcwoKMjAx
NC8wOC8yMCAyMDowMeOAgUZlbGl4IFJ1ZXNzIDxmZWxpeC5ydWVzc0BnbWFpbC5jb20+IOOBruOD
oeODvOODq++8mgoKPiBIaSBhZ2FpbiwKPiAKPiBpdCBhY3R1YWxseSBzZWVtcyBsaWtlIGFsbCB0
aGUgb2NjdXJyZW5jZXMgb2YgRmxvYXRfdmFsIChmb3IgZnVuY3Rpb25zIG9mIGd0a2FkanVzdG1l
bnQpIGluIG1sX2d0ay5jIHNob3VsZCBiZSBjaGFuZ2VkIHRvIERvdWJsZV92YWwKPiAKPiBDaGVl
cnMsIEZlbGl4Cj4gCj4gCj4gT24gU3VuLCBBdWcgMTcsIDIwMTQgYXQgODo0NSBQTSwgRmVsaXgg
UnVlc3MgPGZlbGl4LnJ1ZXNzQGdtYWlsLmNvbT4gd3JvdGU6Cj4gSGkgYWxsLAo+IAo+IEkgZm91
bmQgYSBwcm9ibGVtIHdoZW4gdXNpbmcgc2xpZGVycyBzcGluIGJ1dHRvbnMgYW5kIHRoZSBsaWtl
IHZpYSBndGsgYWRqdXN0bWVudDoKPiBUcnlpbmcgdG8gc2V0IHRoZW0gdG8gbGFyZ2UgdmFsdWVz
ICh0aGF0IGRvbid0IGZpdCBpbnRvIGEgc2luZ2xlIHByZWNpc2lvbiBmbG9hdCkgdG8gaXQgcmVz
dWx0cyBpbiBhIHdyb25nIHZhbHVpbmcgYmVpbmcgZGlzcGxheWVkLgo+IFRoZSBndGsgZnVuY3Rp
b25zIGFjdHVhbGx5IHVzZSBkb3VibGVzLCB0aGUgcHJvYmxlbSBpcyB0aGF0IGd0a19hZGp1c3Rt
ZW50X3NldF92YWx1ZSB1c2VzIEZsb2F0X3ZhbCBpbnN0ZWFkIG9mIERvdWJsZV92YWwKPiAKPiBJ
IHF1aWNrbHkgYnVpbHQgYSBuZXcgcGFja2FnZSB1c2luZyB0aGUgYXR0YWNoZWQgcGF0Y2ggYW5k
IGl0IGZpeGVzIHRoZSBidWcgKGFsdGhvdWdoIHRoZXJlIG1pZ2h0IGJlIGEgZmV3IG1vcmUgcGxh
Y2VzIHdoZXJlIEZsb2F0X3ZhbCBzaG91bGQgYWN0dWFsbHkgYmUgRG91YmxlX3ZhbCkuCj4gTm93
IGl0IGNvcnJlY3RseSBkaXNwbGF5cyB2YWx1ZXMgbGlrZSAyNDY3NjI3NTM0IHRoYXQgYXJlIG90
aGVyd2lzZSBkaXNwbGF5ZWQgYXMgMjQ2NzYyNzUyMCBzaW5jZSB0aGUgY29udmVyc2lvbiB0byBm
bG9hdCByZW1vdmVzIHRoZSBsb3dlciBuaWJibGUuLi4KPiAKPiBDaGVlcnMsIEZlbGl4Cj4gCj4g
Cj4gX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPiBMYWJs
Z3RrLWxpc3QgbWFpbGluZyBsaXN0Cj4gTGFibGd0ay1saXN0QGxpc3RzLmZvcmdlLm9jYW1sY29y
ZS5vcmcKPiBodHRwczovL2xpc3RzLm9jYW1sY29yZS5vcmcvY2dpLWJpbi9saXN0aW5mby9sYWJs
Z3RrLWxpc3QKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
CkxhYmxndGstbGlzdCBtYWlsaW5nIGxpc3QKTGFibGd0ay1saXN0QGxpc3RzLmZvcmdlLm9jYW1s
Y29yZS5vcmcKaHR0cHM6Ly9saXN0cy5vY2FtbGNvcmUub3JnL2NnaS1iaW4vbGlzdGluZm8vbGFi
bGd0ay1saXN0Cg==