show connection status - Githubissues

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

show connection status #27

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

to have a status bar to show the connection status, e.g. whether is connected (maybe a green or red light icon), and which theorem prover is connected,

plebras commented 9 years ago

it is somehow implemented :

a connect button is located near the eval options
when disconnected, arrows (showing message exchange) are empty
if user clicks the button they are still empty while connecting
when fully connected they are full

@lyhlbyl what's your though on this ? should we have a message box clearly stating it ? (maybe this message box could be extended to show other messages such as "prover swithed branch")