haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix the default prompt 

Ignore-this: d4bbdf101e04d21a1c69ce63856de1f

darcs-hash:20110726185537-c41ad-2fd1346e3baffb7f13da7d834c7f5ab21af8a5c9
This commit is contained in:
Jeremie Dimino 2011-07-26 20:55:37 +02:00
parent c851797234
commit e24ad5eaae
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/uTop.ml
View File

@ -33,7 +33,7 @@ let make_prompt count size =
if Array.length txt > size.cols then if Array.length txt > size.cols then
Array.sub txt 0 size.cols Array.sub txt 0 size.cols
else else
Array.append txt (Array.make (size.cols - Array.length txt) (UChar.of_int 0x2500, { none with foreground = Some lcyan })) Array.append txt (Array.make (size.cols - Array.length txt) (UChar.of_int 0x2500, { none with foreground = Some lcyan; bold = Some true }))
) [|(UChar.of_char '#', { none with foreground = Some lgreen }); (UChar.of_char ' ', none)|] ) [|(UChar.of_char '#', { none with foreground = Some lgreen }); (UChar.of_char ' ', none)|]
let prompt = ref (S.l2 make_prompt count size) let prompt = ref (S.l2 make_prompt count size)