ANIMATION_FUNCTION images path

Fixed

Description

ProB2 and ProB2-UI do not find all images that ProB Tcl/Tk finds. For example, ProB Tcl/Tk looks relative to the DEFINITION file which defines the images, in case a DEFINITION file is used. For those models, ProB2-UI does not find the images.

Activity

Fabian Vu

October 7, 2020 at 9:31 AM

Fabian Vu

October 7, 2020 at 9:10 AM

Fabian Vu

August 24, 2020 at 1:59 PM

dgelessus

May 11, 2020 at 5:28 PM

Resize work item view side panel

Details

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

needs-prob2-changeneeds-probcli-change

Priority

Major

Created September 26, 2018 at 8:50 AM

Updated October 7, 2020 at 9:31 AM

Resolved October 7, 2020 at 9:31 AM