Merge pull request #1912 from hopoverflow/patch-1

#1317 : Add state id to state diagram.  Move description below separa…
This commit is contained in:
Knut Sveidqvist 2021-02-27 10:39:37 +01:00 committed by GitHub
commit 1293850a09
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;