module Roby::GUI::TaskDisplayConfiguration

Public Instance Methods

filter_prefixes(string) click to toggle source
# File lib/roby/gui/task_display_configuration.rb, line 24
def filter_prefixes(string)
    # @prefixes_removal is computed in RelationsCanvas#update
    for prefix in @prefixes_removal
        string = string.gsub(prefix, '')
    end
    if string =~ /^::/
        string = string[2..-1]
    end
    string
end
filtered_out_label?(label) click to toggle source
# File lib/roby/gui/task_display_configuration.rb, line 20
def filtered_out_label?(label)
    (!hidden_labels.empty? && hidden_labels.any? { |match| label.include?(match) })
end
update_prefixes_removal() click to toggle source

Compute the prefixes to remove from in filter_prefixes: enable only the ones that are flagged, and sort them by prefix length

# File lib/roby/gui/task_display_configuration.rb, line 14
def update_prefixes_removal
    @prefixes_removal = removed_prefixes.to_a.
        sort_by { |p| p.length }.
        reverse
end