Opened 17 years ago
Last modified 11 years ago
#89 new defect
Remove tabs from Isabelle source files (theories, at least)
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 4:prover-isabelle | Keywords: | |
Cc: |
Description
The default tab width in Emacs is 8, in Eclipse it is 4. This messes up the display of files that have tabs in them. A simple solution, and to give users a good out-of-the-box solution, would be to change tabs into spaces in Isabelle.
There is a setting in Eclipse to change the width of displayed tabs, but it has some problems.
Change History (2)
comment:1 Changed 17 years ago by
Milestone: | PG-Eclipse-1.0.7 → PG-Eclipse-1.1.0 |
---|
comment:2 Changed 11 years ago by
Milestone: | PG-Eclipse-1.1.0 |
---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted