PragmaDev - Support

Home > Support > Bugs

Application: Studio
Version: v6.1
Tool: All
Records found: 18

Status: P: Pending, S: Suspended, C: Corrected, R: Not reproductible, I: Information.

Select bug id:

Description contains:

Select application:

Select application version:

Select tool:

Tool acronyms: IN: Installation, LM: License management, UE: UML editor, ME: MSC editor, TE: Text editor, SE: SDL-RT editor, PM: Project manager, PG: Prototyping GUI, CG: C code generator, MT: MSC tracer, MD: Model Debugger, MS: Model Simulator, MV: Model validation, DE: Document editor, TT: TTCN-3 support.

Tool id description comment date status forecast

*
Lin 5081 Application may crash on startup, complaining about the libhogweed library not finding a symbol "__gmpn_cnd_sub_n". The library libgmp.so has been introduced by mistake in the delivered application, when it actually not needed. The included version does not define the symbol causing the error, which causes the problem with libhogweed. The solution is to simply delete the file libgmp.so.10 from the directory bin/linux64 in the installation. 2026-10-05 P v6.1.2

*
Lin 5081 Application may crash on startup, complaining about the libhogweed library not finding a symbol "__gmpn_cnd_sub_n". The library libgmp.so has been introduced by mistake in the delivered application, when it actually not needed. The included version does not define the symbol causing the error, which causes the problem with libhogweed. The solution is to simply delete the file libgmp.so.10 from the directory bin/linux64 in the installation. 2026-10-05 P v6.1.2

*
Rasp 5008 Some windows or some part of a window seem unreactive. This seems to occur when there is another window open in the same area in the background. Moving the upper window to a place free of any other window in the background makes it work again. Raspberry Pi Desktop now runs on Wayland by default on all models. The problem is caused by a bad support of Tk on Wayland. The way around is to use X11 on Raspberry Pi. To do so execute: 'sudo raspi-config' go to the 'Advanced options' and select 'Openbox window manager with X11 backend' 2026-04-23 P

*
Rasp 5008 Some windows or some part of a window seem unreactive. This seems to occur when there is another window open in the same area in the background. Moving the upper window to a place free of any other window in the background makes it work again. Raspberry Pi Desktop now runs on Wayland by default on all models. The problem is caused by a bad support of Tk on Wayland. The way around is to use X11 on Raspberry Pi. To do so execute: 'sudo raspi-config' go to the 'Advanced options' and select 'Openbox window manager with X11 backend' 2026-04-23 P

*E
Mac 5048 On macOS, printing no more seems to work as expected: it may cause an error message, or the opening of an incorrect application to print. Corrected. The printing feature has actually been completely redone. Printing anything now generates a PDF file, which will by default be opened in the default application for PDF files and has to be printed from there. A new preference has been introduced for the application with which PDF files must be opened for printing. Such applications will be provided for each supported platform on the PragmaDev website. 2026-10-15 C v6.1.2

*E
Mac 5048 On macOS, printing no more seems to work as expected: it may cause an error message, or the opening of an incorrect application to print. Corrected. The printing feature has actually been completely redone. Printing anything now generates a PDF file, which will by default be opened in the default application for PDF files and has to be printed from there. A new preference has been introduced for the application with which PDF files must be opened for printing. Such applications will be provided for each supported platform on the PragmaDev website. 2026-10-15 C v6.1.2

*E
Mac 5047 On macOS, when the current window is not the project manager, the application menu is duplicated. 2026-06-03 P

*E
Mac 5047 On macOS, when the current window is not the project manager, the application menu is duplicated. 2026-06-03 P

MT
5072 When running a simulation or a debug session and a MSC trace is active, the time indicators in the left part of the trace window are not displayed correctly: they are not aligned properly on the right side of the window zone, so only the first digits are shown for lon,g time markers, and nothing at all for short ones. Corrected: the time markers are now positionned correctly. NB: the time markers were stored with the trace when it is saved whether they were visible in the tracer window or not. 2026-09-17 C v6.1.1

MT
5072 When running a simulation or a debug session and a MSC trace is active, the time indicators in the left part of the trace window are not displayed correctly: they are not aligned properly on the right side of the window zone, so only the first digits are shown for lon,g time markers, and nothing at all for short ones. Corrected: the time markers are now positionned correctly. NB: the time markers were stored with the trace when it is saved whether they were visible in the tracer window or not. 2026-09-17 C v6.1.1

PG
Win 5076 When editing the output action for a widget in the prototyping GUI, if a parameter is expected for the message, it is written param1|=. If the user deletes the whole parameter example, it becomes impossible to edit. Actually, it is still possible to edit: when moving the mouse pointer just to the right of the bullet for the tree item, the mouse cursor will turn into a text caret. Double-clicking here will open the parameter for edition. But the zone where the double-click is possible is indeed quite small, it would be better if double-clicking anywhere in the row was possible. 2026-09-18 P

PG
Win 5076 When editing the output action for a widget in the prototyping GUI, if a parameter is expected for the message, it is written param1|=. If the user deletes the whole parameter example, it becomes impossible to edit. Actually, it is still possible to edit: when moving the mouse pointer just to the right of the bullet for the tree item, the mouse cursor will turn into a text caret. Double-clicking here will open the parameter for edition. But the zone where the double-click is possible is indeed quite small, it would be better if double-clicking anywhere in the row was possible. 2026-09-18 P

PM
5052 Comments attached to symbols in behavioral diagrams are not included in the exported PR. Corrected. Initially, there was no way to attach comments to symbols in new-style behavioral diagrams, so the PR export feature wasn't supporting it. The possibility to attach comments was added later, but the PR export had never been updated. 2026-06-11 C v6.1.1

PM
5052 Comments attached to symbols in behavioral diagrams are not included in the exported PR. Corrected. Initially, there was no way to attach comments to symbols in new-style behavioral diagrams, so the PR export feature wasn't supporting it. The possibility to attach comments was added later, but the PR export had never been updated. 2026-06-11 C v6.1.1

SE
5073 In the block diagram editor, pulling the channels from or to the connectors that are displayed representing channels of the upper level does not work. Corrected. The information needed to create the channel with the proper name & connection and the incoming & outgoing signals was badly transferred, causing the channel to be created with all the default values. 2026-09-17 C v6.1.1

SE
5073 In the block diagram editor, pulling the channels from or to the connectors that are displayed representing channels of the upper level does not work. Corrected. The information needed to create the channel with the proper name & connection and the incoming & outgoing signals was badly transferred, causing the channel to be created with all the default values. 2026-09-17 C v6.1.1

SE
5051 Macro declaration symbols do not appear correctly in architecture diagrams. Corrected. A lot of symbols that are used only in old-style behavioral diagrams can no more be displayed correctly in v6.1. The macro definition symbol had been wrongly included in this set. 2026-06-11 C v6.1.1

SE
5051 Macro declaration symbols do not appear correctly in architecture diagrams. Corrected. A lot of symbols that are used only in old-style behavioral diagrams can no more be displayed correctly in v6.1. The macro definition symbol had been wrongly included in this set. 2026-06-11 C v6.1.1

Tool	id	description	comment	date	status	forecast
* Lin	5081	Application may crash on startup, complaining about the libhogweed library not finding a symbol "__gmpn_cnd_sub_n".	The library libgmp.so has been introduced by mistake in the delivered application, when it actually not needed. The included version does not define the symbol causing the error, which causes the problem with libhogweed. The solution is to simply delete the file libgmp.so.10 from the directory bin/linux64 in the installation.	2026-10-05	P	v6.1.2
* Lin	5081	Application may crash on startup, complaining about the libhogweed library not finding a symbol "__gmpn_cnd_sub_n".	The library libgmp.so has been introduced by mistake in the delivered application, when it actually not needed. The included version does not define the symbol causing the error, which causes the problem with libhogweed. The solution is to simply delete the file libgmp.so.10 from the directory bin/linux64 in the installation.	2026-10-05	P	v6.1.2
* Rasp	5008	Some windows or some part of a window seem unreactive. This seems to occur when there is another window open in the same area in the background. Moving the upper window to a place free of any other window in the background makes it work again.	Raspberry Pi Desktop now runs on Wayland by default on all models. The problem is caused by a bad support of Tk on Wayland. The way around is to use X11 on Raspberry Pi. To do so execute: 'sudo raspi-config' go to the 'Advanced options' and select 'Openbox window manager with X11 backend'	2026-04-23	P
* Rasp	5008	Some windows or some part of a window seem unreactive. This seems to occur when there is another window open in the same area in the background. Moving the upper window to a place free of any other window in the background makes it work again.	Raspberry Pi Desktop now runs on Wayland by default on all models. The problem is caused by a bad support of Tk on Wayland. The way around is to use X11 on Raspberry Pi. To do so execute: 'sudo raspi-config' go to the 'Advanced options' and select 'Openbox window manager with X11 backend'	2026-04-23	P
*E Mac	5048	On macOS, printing no more seems to work as expected: it may cause an error message, or the opening of an incorrect application to print.	Corrected. The printing feature has actually been completely redone. Printing anything now generates a PDF file, which will by default be opened in the default application for PDF files and has to be printed from there. A new preference has been introduced for the application with which PDF files must be opened for printing. Such applications will be provided for each supported platform on the PragmaDev website.	2026-10-15	C	v6.1.2
*E Mac	5048	On macOS, printing no more seems to work as expected: it may cause an error message, or the opening of an incorrect application to print.	Corrected. The printing feature has actually been completely redone. Printing anything now generates a PDF file, which will by default be opened in the default application for PDF files and has to be printed from there. A new preference has been introduced for the application with which PDF files must be opened for printing. Such applications will be provided for each supported platform on the PragmaDev website.	2026-10-15	C	v6.1.2
*E Mac	5047	On macOS, when the current window is not the project manager, the application menu is duplicated.		2026-06-03	P
*E Mac	5047	On macOS, when the current window is not the project manager, the application menu is duplicated.		2026-06-03	P
MT	5072	When running a simulation or a debug session and a MSC trace is active, the time indicators in the left part of the trace window are not displayed correctly: they are not aligned properly on the right side of the window zone, so only the first digits are shown for lon,g time markers, and nothing at all for short ones.	Corrected: the time markers are now positionned correctly. NB: the time markers were stored with the trace when it is saved whether they were visible in the tracer window or not.	2026-09-17	C	v6.1.1
MT	5072	When running a simulation or a debug session and a MSC trace is active, the time indicators in the left part of the trace window are not displayed correctly: they are not aligned properly on the right side of the window zone, so only the first digits are shown for lon,g time markers, and nothing at all for short ones.	Corrected: the time markers are now positionned correctly. NB: the time markers were stored with the trace when it is saved whether they were visible in the tracer window or not.	2026-09-17	C	v6.1.1
PG Win	5076	When editing the output action for a widget in the prototyping GUI, if a parameter is expected for the message, it is written param1\|=. If the user deletes the whole parameter example, it becomes impossible to edit.	Actually, it is still possible to edit: when moving the mouse pointer just to the right of the bullet for the tree item, the mouse cursor will turn into a text caret. Double-clicking here will open the parameter for edition. But the zone where the double-click is possible is indeed quite small, it would be better if double-clicking anywhere in the row was possible.	2026-09-18	P
PG Win	5076	When editing the output action for a widget in the prototyping GUI, if a parameter is expected for the message, it is written param1\|=. If the user deletes the whole parameter example, it becomes impossible to edit.	Actually, it is still possible to edit: when moving the mouse pointer just to the right of the bullet for the tree item, the mouse cursor will turn into a text caret. Double-clicking here will open the parameter for edition. But the zone where the double-click is possible is indeed quite small, it would be better if double-clicking anywhere in the row was possible.	2026-09-18	P
PM	5052	Comments attached to symbols in behavioral diagrams are not included in the exported PR.	Corrected. Initially, there was no way to attach comments to symbols in new-style behavioral diagrams, so the PR export feature wasn't supporting it. The possibility to attach comments was added later, but the PR export had never been updated.	2026-06-11	C	v6.1.1
PM	5052	Comments attached to symbols in behavioral diagrams are not included in the exported PR.	Corrected. Initially, there was no way to attach comments to symbols in new-style behavioral diagrams, so the PR export feature wasn't supporting it. The possibility to attach comments was added later, but the PR export had never been updated.	2026-06-11	C	v6.1.1
SE	5073	In the block diagram editor, pulling the channels from or to the connectors that are displayed representing channels of the upper level does not work.	Corrected. The information needed to create the channel with the proper name & connection and the incoming & outgoing signals was badly transferred, causing the channel to be created with all the default values.	2026-09-17	C	v6.1.1
SE	5073	In the block diagram editor, pulling the channels from or to the connectors that are displayed representing channels of the upper level does not work.	Corrected. The information needed to create the channel with the proper name & connection and the incoming & outgoing signals was badly transferred, causing the channel to be created with all the default values.	2026-09-17	C	v6.1.1
SE	5051	Macro declaration symbols do not appear correctly in architecture diagrams.	Corrected. A lot of symbols that are used only in old-style behavioral diagrams can no more be displayed correctly in v6.1. The macro definition symbol had been wrongly included in this set.	2026-06-11	C	v6.1.1
SE	5051	Macro declaration symbols do not appear correctly in architecture diagrams.	Corrected. A lot of symbols that are used only in old-style behavioral diagrams can no more be displayed correctly in v6.1. The macro definition symbol had been wrongly included in this set.	2026-06-11	C	v6.1.1