discipl / discipl/flinteditor-mps

Automatically fill prefix of a SourcePart inserted in an existing summary

Open
#78 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
JetBrains MPS
Stars
2
Forks
3
PR merge metrics
No merged PRs in 30d

Description

## Feature
### User Story
As a user when I insert a sourcepart in the middle of a summary i want to have the choice to automatically fill in the prefix of the new sourcepart to conform with the summary or manually change it.

### Description
It is currently only possible to manually change the prefix of sourceparts inside a summary. To achive this feature a new functionality should be added which recognizes the pattern of the prefix of the summary and autofills it.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.