Thomas Bruederli
2014-08-07 00dd283999fd42870bc2ea8412a4e39f7c52060c
Getter to detect if treelist widget is in search mode
1 files modified
9 ■■■■■ changed files
program/js/treelist.js 9 ●●●●● patch | view | raw | blame | history
program/js/treelist.js
@@ -93,6 +93,7 @@
  this.get_item = get_item;
  this.get_node = get_node;
  this.get_selection = get_selection;
  this.is_search = is_search;
  /////// startup code (constructor)
@@ -575,6 +576,14 @@
  }
  /**
   *
   */
  function is_search()
  {
    return search_active;
  }
  /**
   * Render the tree list from the internal data structure
   */
  function render()