Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

A

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

Snippets Groups Projects

9848e866

Commit 9848e866 authored 3 years ago by Fabian Reister

Downloads
- Plain Diff

Merge branch 'open-file-with-user-specified-editor' into 'master'

Statecharts: Open file with user specified editor

See merge request ArmarX/ArmarXGui!65

parents ac541713 4f783c3e

No related branches found

No related tags found

Loading

Changes 4

Hide whitespace changes

Inline Side-by-side

Showing

source/ArmarXGui/gui-plugins/LoggingPlugin/ArmarXLogViewer/LogTable.cpp 1 addition, 1 deletion

...ui/gui-plugins/LoggingPlugin/ArmarXLogViewer/LogTable.cpp
source/ArmarXGui/gui-plugins/StatechartEditorPlugin/StateTreeController.cpp 1 addition, 1 deletion

...ui-plugins/StatechartEditorPlugin/StateTreeController.cpp
source/ArmarXGui/libraries/ArmarXGuiBase/widgets/editorfileopener.cpp 33 additions, 1 deletion

...XGui/libraries/ArmarXGuiBase/widgets/editorfileopener.cpp
source/ArmarXGui/libraries/ArmarXGuiBase/widgets/editorfileopener.h 10 additions, 4 deletions

...arXGui/libraries/ArmarXGuiBase/widgets/editorfileopener.h

with 45 additions and 7 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