Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-1961304 ] File System Browser: File Dirty Icon
|
From: SourceForge.net <no...@so...> - 2008-05-11 03:21:15
|
Bugs item #1961304, was opened at 2008-05-09 18:29 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1961304&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: None Group: None Status: Open Resolution: None >Priority: 2 Private: No Submitted By: Alan Ezust (ezust) Assigned to: Seph M. Soliman (scarlac) Summary: File System Browser: File Dirty Icon Initial Comment: It seems to work in ProjectViewer but not File System Browser: when a file is dirty, we should see a little red disk on the file icon in the browser. ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2008-05-10 20:21 Message: Logged In: YES user_id=935841 Originator: YES oops. I thought it was a regression as a result of going to the new tango icons. My mistake. Adjusting priority to 2. ---------------------------------------------------------------------- Comment By: Marcelo Vanzin (vanza) Date: 2008-05-10 18:03 Message: Logged In: YES user_id=75113 Originator: NO Saying this is a "bug" is kind of a very big stretch... ProjectViewer has quite a bit of code to be able show that dirty icon. See projectviewer/vpt/IconComposer.java for a start, plus related code in ProjectViewer.java and also in VPTFile.java. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1961304&group_id=588 |