Jon Eugster eb799e1078 fix toggle help in presence of errors

2023-07-19 00:13:01 +02:00

..

command_line.tsx

fix toggle help in presence of errors

2023-07-19 00:13:01 +02:00

context.ts

show more help per proof step

2023-07-18 15:25:56 +02:00

goals.tsx

scroll to selected step

2023-07-16 23:01:55 +02:00

info.tsx

scroll to selected step

2023-07-16 23:01:55 +02:00

infos.tsx

simplify infoview

2023-01-20 16:44:45 +01:00

infoview.css

keep deleted chat messages around until command is entered

2023-07-17 01:40:50 +02:00

main.tsx

show more help per proof step

2023-07-18 15:25:56 +02:00

messages.tsx

fix some react warnings about non-unique keys

2023-07-16 23:09:32 +02:00

rpc_api.ts

refactor

2023-07-05 14:54:06 +02:00