{
159 | // For debugging
160 | if (e.ctrlKey)
161 | // eslint-disable-next-line no-console
162 | console.log(`Cache info: `, {
163 | useCache: shouldUseCache,
164 | indexOfCacheToUse,
165 | indexOfDesiredCacheToUse,
166 | indexOfLastCommandWithValidCache,
167 | });
168 | }}
169 | >
170 | {/*
Cache */}
171 |
177 |
184 |
185 |
186 | {
191 | piperStore.shouldUseCache = e.target.checked;
192 | }}
193 | />
194 |
195 |
{buttons}
196 |
197 |
198 |