Opened 13 years ago

Closed 13 years ago

#390 closed defect (duplicate)

Odd progress markers in text mode

Reported by: Makarius Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.1
Component: 2:pg-emacs Keywords:
Cc: makarius@…

Description

Mac OS X Snow Leopard. Running with /usr/bin/emacs in text mode produces strange progress markers within the actual text: 

=>eory Scratch
imports Main
begin

term x

theory Scratch
imports Main
begin

=>rm x

Change History (1)

comment:1 Changed 13 years ago by David Aspinall

Resolution: → duplicate
Status: new → closed

See #372.

Note: See TracTickets for help on using tickets.