Currently, glium is used. This is not necessarily a good choice. If we are going to switch, we should do it sooner rather than later. Points to consider:
- ease of using widgets, menus, file-open dialogs etc. (provided by GTK or other toolkits),
- portability,
- simpliticy,
- speed (a non-issue for most Rust libraries).