Changes between Initial Version and Version 1 of Ticket #94

Show
Ignore:
Timestamp:
03/01/09 12:14:58 (5 years ago)
Author:
waern
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #94 – description

    initial v1  
    55The relevant lines: 
    66 
    7 data Tall a = Tall !Int -- ^ The default number of windows in the master pane (default: 1) !Rational -- ^ Default proportion of screen occupied by master pane (default: 1/2) !Rational; -- ^ Percent of screen to increment by when resizing panes (default: 3/100) 
     7data Tall a = Tall !Int -- ^ The default number of windows in the master pane (default: 1) 
     8                   !Rational -- ^ Default proportion of screen occupied by master pane (default: 1/2) 
     9                   !Rational; -- ^ Percent of screen to increment by when resizing panes (default: 3/100) 
    810}}} 
    911