Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

R

RobotAPI
- Activity
- Members
- Labels
- Container Registry
- Model registry

Snippets Groups Projects

7639b169

Commit 7639b169 authored 1 year ago by albrecpe

Downloads
- Patches
- Plain Diff

Adapt search to handle offline filtering

parent 4da104fb

No related branches found

No related tags found

1 merge request!442Fix: skill gui live search

This commit is part of merge request !442. Comments created here will be created in the context of that merge request.

Changes 6

Hide whitespace changes

Inline Side-by-side

Showing

source/RobotAPI/libraries/skills_gui/memory/SkillManagerWrapper.cpp 31 additions, 17 deletions

...otAPI/libraries/skills_gui/memory/SkillManagerWrapper.cpp
source/RobotAPI/libraries/skills_gui/memory/SkillManagerWrapper.h 4 additions, 4 deletions

...obotAPI/libraries/skills_gui/memory/SkillManagerWrapper.h
source/RobotAPI/libraries/skills_gui/skills/SkillGroupBox.cpp 16 additions, 4 deletions

...ce/RobotAPI/libraries/skills_gui/skills/SkillGroupBox.cpp
source/RobotAPI/libraries/skills_gui/skills/SkillGroupBox.h 5 additions, 2 deletions

source/RobotAPI/libraries/skills_gui/skills/SkillGroupBox.h
source/RobotAPI/libraries/skills_gui/skills/SkillTreeWidget.cpp 5 additions, 5 deletions

.../RobotAPI/libraries/skills_gui/skills/SkillTreeWidget.cpp
source/RobotAPI/libraries/skills_gui/skills/SkillTreeWidget.h 1 addition, 1 deletion

...ce/RobotAPI/libraries/skills_gui/skills/SkillTreeWidget.h

with 62 additions and 33 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment