Show Isabelle version at an earlier position in the prompt.
This commit is contained in:
parent
e3e6ad3848
commit
654bd88e41
|
@ -118,16 +118,16 @@ prompt_isabelle_env() {
|
|||
build_prompt() {
|
||||
RETVAL=$?
|
||||
prompt_logo $LHORANGE black
|
||||
prompt_dir $LHLIGHTORANGE black
|
||||
prompt_isabelle_env $LHCYAN black
|
||||
prompt_dir $LHLIGHTORANGE black
|
||||
prompt_end
|
||||
}
|
||||
|
||||
build_inactive_prompt() {
|
||||
RETVAL=$?
|
||||
prompt_logo $LHDARKGRAY white
|
||||
prompt_dir $LHLIGHTGRAY white
|
||||
prompt_isabelle_env $LHLIGHTGRAY white
|
||||
prompt_dir $LHLIGHTGRAY white
|
||||
prompt_end
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue