Giuseppe Barbieri

Hi I'll take a look asap, in the meanwhile if you may want to provide a PR, don't hesitate

I'd provide a jdk8 branch in a few days.. 1.80 has been released, I just need to update and fixes the remaining table bugs Can you copy/paste the stack-trace here?

Fire up the demo test, then -> `widgets` -> `Text Input` -> `Filtered Text Input` The following filter is apply val filterImGuiLetters: InputTextCallback = { data: InputTextCallbackData -> when {...

Sorry, I misunderstood what you asked var filter = new Function1() { @Override public Boolean invoke(InputTextCallbackData inputTextCallbackData) { if ("ciao".indexOf(inputTextCallbackData.getEventChar()) != -1) return Boolean.FALSE; else return Boolean.TRUE; } }; imgui.inputText("label",...

An alternative could be also slack

What about inferring it manually? Kind of like [this](https://github.com/Kotlin/dataframe/blob/master/docs/schemas.md#use-external-data-schemas-in-jupyter) (or json): ``` @DataSchema interface Person { val name: String val age: Int } ```

The idea behind is that since they are boxed, in this way it is possible to offer a way to avoid a new instantiation. The thing I dislike about `MutableUtypes`...

Yep, thank you for assisting so far :+1: Ps: I'm also tempted to switch to the lib, but my biggest problem is that unsigned doesnt extend `Number` class..

Well, you know you can easily implement that here :p Anyway, I voted your issue, maybe it'll get implemented sooner or later I see you also mention the `Number` inheritance.....

Hi joscha, yeah, I also experienced lately those crashes. I wasnt getting any before. I'm not sure exactly where the problem lies, however I'm going with another better approach: we...