Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-1593576 ] Autoindenting should copy exact whitespaces
|
From: SourceForge.net <no...@so...> - 2007-06-08 23:54:53
|
Bugs item #1593576, was opened at 2006-11-09 17:41 Message generated for change (Comment added) made by vampire0 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1593576&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: editor core Group: normal bug >Status: Open >Resolution: None Priority: 5 Private: No Submitted By: Björn Kautler (vampire0) Assigned to: Alan Ezust (ezust) Summary: Autoindenting should copy exact whitespaces Initial Comment: If autoindenting copies the indentation of last line the indentation should be done the same way it was copied from, e. g. currently if Soft tabs are enabled, always spaces are inserted, even if the previous line is indented with literally tabs or tabs and spaces mixed. The whitespaces should simply be copied from the line that the auto-indenting is taken from. Sorry if this is a dupe, but I have many bugs to post and am too lazy to check them all for dupes currently. :-) OS: Windows XP Java Version: Sun Java 1.5.0_09-b03 jEdit Version: 4.3pre8 ---------------------------------------------------------------------- >Comment By: Björn Kautler (vampire0) Date: 2007-06-09 01:54 Message: Logged In: YES user_id=918212 Originator: YES Sorry, but I can see no change in the behaviour at all ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2007-04-02 19:20 Message: Logged In: YES user_id=935841 Originator: NO Transmitting file data .... Committed revision 9402. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2007-04-02 18:35 Message: Logged In: YES user_id=935841 Originator: NO Nyte7 Submitted a patch 1687138 for this. I'm testing it now. It seems to be an improvement over the previous behavior. ---------------------------------------------------------------------- Comment By: Björn Kautler (vampire0) Date: 2007-03-17 20:28 Message: Logged In: YES user_id=918212 Originator: YES And how should that solve the problem? This will still indent wrong, because then there are all spaces even if there are tabs in the whitespaces in the line above. ---------------------------------------------------------------------- Comment By: Nyte (nyte7) Date: 2007-03-17 20:24 Message: Logged In: YES user_id=1743088 Originator: NO Then can't we just enable Soft Tabs by default? ---------------------------------------------------------------------- Comment By: daniel hahler (blueyed) Date: 2007-02-27 19:50 Message: Logged In: YES user_id=663176 Originator: NO I have added the same issue before and now marked it as dupe, because here's already more info (http://sourceforge.net/tracker/index.php?aid=1587389). ---------------------------------------------------------------------- Comment By: Joseph Erickson (firstclown) Date: 2007-02-22 23:30 Message: Logged In: YES user_id=18174 Originator: NO Currently that indention is created by JEditBuffer#getIdealIndentForLine(int) which only returns the number of spaces to indent. That is then converted into an indent based on the user's preferences. So if the user has tab = 3 spaces and the previous line is indented 5 "spaces" (any combo of tabs and actual spaces) the auto indent on the next line would be one tab and 2 spaces. What's needed is for an autoindent to get the exact String of whitespace (new function in StandardUtilites?) and then use that as the indentation. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1593576&group_id=588 |