#1317 : Add state id to state diagram. Move description below separator.

Fix issue #1317
This commit is contained in:
hopoverflow 2021-02-26 13:16:00 -08:00 committed by GitHub
parent ba3e0c4c35
commit 7cc7a8f47c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions

View File

@ -79,7 +79,7 @@ export const drawDescrState = (g, stateDef) => {
.attr('y', getConfig().state.textHeight + 1.3 * getConfig().state.padding)
.attr('font-size', getConfig().state.fontSize)
.attr('class', 'state-title')
.text(stateDef.descriptions[0]);
.text(stateDef.id);
const titleBox = title.node().getBBox();
const titleHeight = titleBox.height;
@ -94,7 +94,8 @@ export const drawDescrState = (g, stateDef) => {
getConfig().state.dividerMargin +
getConfig().state.textHeight
)
.attr('class', 'state-description');
.attr('class', 'state-description')
.text(stateDef.descriptions[0]);
let isFirst = true;
let isSecond = true;