We're updating the issue view to help you get more done. 

Show Model Unloaded/Loaded messages in Eval Console only when user has typed some input

Description

The B Console is usually filled with messages which are probably not that useful to the user (see below).
Maybe we should only show the message when the user has really typed something into the console?
The alternative would be to show a small flag/icon in the status bar when the user has typed something into the console and when the machine has changed?

My current console contents:
ProB 2.0 Console B
Modèle chargé: TrainImages.mch
Modèle déchargé
Modèle chargé: SimpleAccount.mch
Modèle déchargé
Modèle chargé: SimpleAccount.mch
Modèle déchargé
Modèle chargé: MCDC_CBC.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
Modèle déchargé
Modèle chargé: NonDet_Simple1.mch
B>

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major