FAQ
Cover
\
Build
\
Source
\
Bugs
\
Reference
\
Libraries
\
Tools
The bugs database has moved
here
.
Bug 56 : editor tabs not always updating when a tab is renamed
Last modified: 2008-09-18 16:29
P
roject:
processing
trash
Version:
unspecified
Co
m
ponent:
android
book
core
libraries
pde
reference
tools
web
Status:
RESOLVED
Resolution:
FIXED -
Pr
i
ority:
P4
Severity:
normal
Platform
All
O
S:
All
Windows
Mac OS
Linux
Other
Reporter:
fry
Assigned To:
fry
Attachment
Type
Created
Size
Actions
Description
: Opened: 2005-07-15 15:28
moving the mouse over it causes it to update. haven't seen this on windows
so this may be a mac-only problem.
Additional Comment
#1 From fry 2008-09-18 16:29
this seems to be fixed, closing the bug.