Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

R

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

Snippets Groups Projects

0ac46700

Commit 0ac46700 authored 1 year ago by Fabian Tërnava

Downloads
- Plain Diff

Merge branch 'feature/skillGUISearch' into 'master'

Implement wildcard for skill search

See merge request !428

parents 3b0b9174 f967f4a0

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 4
Pipelines 2

Hide whitespace changes

Inline Side-by-side

Showing

source/RobotAPI/libraries/skills_gui/executions/SkillExecutionTreeWidget.cpp 1 addition, 1 deletion

...raries/skills_gui/executions/SkillExecutionTreeWidget.cpp
source/RobotAPI/libraries/skills_gui/memory/SkillManagerWrapper.cpp 31 additions, 3 deletions

...otAPI/libraries/skills_gui/memory/SkillManagerWrapper.cpp
source/RobotAPI/libraries/skills_gui/skills/SkillTreeWidget.cpp 13 additions, 0 deletions

.../RobotAPI/libraries/skills_gui/skills/SkillTreeWidget.cpp
source/RobotAPI/libraries/skills_gui/skills/SkillTreeWidget.h 2 additions, 0 deletions

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

with 47 additions and 4 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