***bairui_ is now known as bairui
<norfumpit>could guile in the future replace gnome js implementation, allowing one to say write gnome shell extensions in guile through an interoperability layer? if so what would it take to get there? <amz3>javascript was chosen because it's everywhere <amz3>not because it's good langage <amz3>that said, we guile js backend it might be possible to write extension in guile but will require a bit of tooling to be workable <amz3>norfumpit: what JS VM does GNOME use? <amz3>which means that AFAIU, it will take some time before guile js is usable in GNOME because it seems TCO is more difficult to implement in SpiderMonkey <sneek>Welcome back daviid, you have 1 message. <sneek>daviid, ArneBab says: thank you! <daviid>ArneBab: yw! a nice tip to keep in mind.. i still fail to understand why it is not the text that we surround using \\adjustbox{...} though <daviid>amz3: octave has a series of tools dedicated to geographical functions, such as octave-mapping ... for info <daviid>amz3: I'm pretty sure it has other GIS related packages, but didn't check :), worth a look at their site I think ...