Fix dividers not marking agents as touched
This commit is contained in:
parent
76037600ff
commit
46fdca1599
|
@ -5502,6 +5502,12 @@ define('sequence/components/Divider',[
|
||||||
env.addSpacing(']', {left: 0, right: config.extend});
|
env.addSpacing(']', {left: 0, right: config.extend});
|
||||||
}
|
}
|
||||||
|
|
||||||
|
renderPre() {
|
||||||
|
return {
|
||||||
|
agentIDs: ['[', ']'],
|
||||||
|
};
|
||||||
|
}
|
||||||
|
|
||||||
render({mode, height, formattedLabel}, env) {
|
render({mode, height, formattedLabel}, env) {
|
||||||
const config = env.theme.getDivider(mode);
|
const config = env.theme.getDivider(mode);
|
||||||
|
|
||||||
|
|
File diff suppressed because one or more lines are too long
|
@ -24,6 +24,12 @@ define([
|
||||||
env.addSpacing(']', {left: 0, right: config.extend});
|
env.addSpacing(']', {left: 0, right: config.extend});
|
||||||
}
|
}
|
||||||
|
|
||||||
|
renderPre() {
|
||||||
|
return {
|
||||||
|
agentIDs: ['[', ']'],
|
||||||
|
};
|
||||||
|
}
|
||||||
|
|
||||||
render({mode, height, formattedLabel}, env) {
|
render({mode, height, formattedLabel}, env) {
|
||||||
const config = env.theme.getDivider(mode);
|
const config = env.theme.getDivider(mode);
|
||||||
|
|
||||||
|
|
File diff suppressed because one or more lines are too long
Before Width: | Height: | Size: 7.3 KiB After Width: | Height: | Size: 7.4 KiB |
Loading…
Reference in New Issue