eyelash

update EGL registry

1

I included commit 5a281ae here but there are two commits missing in the `khronos-registry` branch: fe62e02 and dd7446d. Also I don't understand the point of the `khronos-registry` branch. Couldn't one...

EGL_WL_bind_wayland_display extension missing

2

libepoxy is missing the functions and symbols from the [EGL_WL_bind_wayland_display](https://www.khronos.org/registry/EGL/extensions/WL/EGL_WL_bind_wayland_display.txt) extension. The extension is present in the [official XML](https://github.com/KhronosGroup/EGL-Registry/blob/master/api/egl.xml) but not in the [copy in this repo](https://github.com/anholt/libepoxy/blob/master/registry/egl.xml). I would like...

fixes #224

Support for primary paste was removed in dd3c9ea492cd896314215896df58a1a97801d224 and 5331a40d24cf476aa359a8a73082ccdd27f9b39a. Setting the primary selection should be implemented as well.

show a dialog when trying to close the editor with unsaved changes

1

This might require i18n.

The window size should be saved when you close the application and restored when you launch it again.

showing entries like undo, redo, copy, paste, etc.

in order to show the OSK

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

Kotlin/Native support

11

Are there any plans to support Kotlin/Native?