2023-01-10 21:47:39 +01:00
|
|
|
window_sizes 1920 1017 450 1465 830 141
|
2022-12-07 16:09:32 +01:00
|
|
|
|
2023-01-08 22:10:17 +01:00
|
|
|
diagrams
|
2023-01-24 22:05:18 +01:00
|
|
|
active statediagram_ref 134540 // wlozenie-karty
|
|
|
|
|
1172 664 100 A4 556 0
|
2023-01-08 22:10:17 +01:00
|
|
|
end
|
2022-12-07 16:09:32 +01:00
|
|
|
show_stereotypes
|
2023-01-24 22:05:18 +01:00
|
|
|
selected statediagram_ref 134540 // wlozenie-karty
|
2022-12-07 16:09:32 +01:00
|
|
|
open
|
2023-01-24 22:05:18 +01:00
|
|
|
state_ref 128140 // state-diagram
|
2022-12-07 16:09:32 +01:00
|
|
|
end
|
|
|
|
|
end
|
