Gmail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
Message from discussion Elastic tabstops?
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
egarr...@gmail.com  
View profile  
 More options Feb 26 2009, 7:13 pm
Newsgroups: gnu.emacs.help
From: egarr...@gmail.com
Date: Thu, 26 Feb 2009 11:13:39 -0800 (PST)
Local: Thurs, Feb 26 2009 7:13 pm
Subject: Re: Elastic tabstops?
Thank you very much for your offer, Alan :-)

Basically, he's saying that tab's width should not be based on
counting character, which is a low level concept. Instead, hitting Tab
should create a table cell of a kind, which spans multiple lines. Then
the editor will always keep aligned any text on adjacent lines which
is entered after the nth tab, no matter how long the "cell"'s text
length is and even if the font is not monospaced. Think about what
align-regexp does, but done live and working with proportional fonts
as well. Indeed, the demo Java applet uses a proportional font, and if
you move any end of line comment belonging to a block of lines, all
other comments move to keep perfectly aligned.

I think that is quite tricky to implement, more so if you try to
retrofit an already existing mode. BTW I'm not asking for such an high-
tech solution. I'd be quite happy if indentation would work as I'm
entering lines when I'm using a proportional font, which I find easier
to read.


    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2010 Google