Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size
  editor

Latest revisions

# Date Author Comment
1faab189 06/04/2019 03:54 PM Katja Luther

Revert "mend"

This reverts commit 80379c19934c880a3631e83ffec07ef9215b2378.

80379c19 06/04/2019 03:46 PM Katja Luther

mend

display of status in drop down according to preference

be268375 06/04/2019 03:44 PM Katja Luther

distributioneditor: display of status in combo box concerning preference

942a8769 06/04/2019 09:45 AM Katja Luther

ref #8047: show symbol and label in drop down of distribution editor

9b4eaf57 05/29/2019 12:29 PM Katja Luther

fix #8316: fix endless loop when editing name in source

398b6133 05/24/2019 08:29 AM Patrick Plitzner

ref #6774 Refactor CheckBoxTreeComposite layout

f7e044c5 05/10/2019 01:02 PM Katja Luther

fix factual data view for name facts

9be7822e 05/08/2019 12:45 PM Katja Luther

fix local preference evaluation for distr. editor status

8aa2d5d2 05/08/2019 12:45 PM Katja Luther

fix local preference evaluation for distr. editor status

9814168d 05/07/2019 09:43 AM Katja Luther

fix #8258: default feature tree without name features

View revisions

Also available in: Atom