From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <20000928232931.782.qmail@g.bio.cse.psu.edu>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Adding history to Rio's windows 
In-Reply-To: Message from Skip Tavakkolian <skipt@real.com> 
   of "Thu, 28 Sep 2000 16:07:09 PDT." <3.0.5.32.20000928160709.00ac9100@mail.real.com> 
Date: Thu, 28 Sep 2000 19:29:30 -0400
From: Scott Schwartz <schwartz@bio.cse.psu.edu>
Topicbox-Message-UUID: 11f9a078-eac9-11e9-9e20-41e7f4b1d025

A clean way to do history would be to have the window system tag each bit
of text with a set of tokens.  You'd want a token for user input, a token
for program output, and probably also tokens for font, size, and color.
Given that, an external history command could figure out what the last
user input was directly, instead of having to grep for the prompt in a
text buffer.  (The Tk text widget is a working example of such a thing.)