Skip to content
Permalink
master

Commits on Sep 20, 2018

Commits on May 24, 2017

  1. Update query names and order.

    Queries are no longer filtered by datasource.
    RubenVerborgh committed May 24, 2017

Commits on Nov 19, 2016

Commits on Nov 11, 2016

  1. Only report first error.

    This avoids a flood of errors in the display.
    RubenVerborgh committed Nov 11, 2016

Commits on Aug 18, 2016

  1. Add timer.

    RubenVerborgh committed Aug 18, 2016

Commits on Aug 15, 2016

  1. Set up fast scrolling.

    Significantly increases query performance.
    RubenVerborgh committed Aug 15, 2016
  2. Always display all selected options.

    Fixes overlap between different list boxes.
    RubenVerborgh committed Aug 15, 2016
  3. Display active choices on foreground.

    Fixes overlap between list boxes and content.
    RubenVerborgh committed Aug 15, 2016

Commits on Aug 11, 2016

Commits on Jul 20, 2016

Older