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