GF JavaScript library
- PGF service access
- User interface
- minibar_input.js: user input with magnets and completion
- minibar_translations.js: display translations
- minibar.js: complete Minibar web app
- minibar_support.js, support.js: auxiliary functions
- Documentation: Minibar API