Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[jdt-core-dev] Re: [platform-releng-dev] JDT/UI is requesting a rebuild to address bug 89739

JDT/Core will also contribute to this build, since JDT/UI needs an API
addition to better reflect default formatter preferences.

will also release compiler fixes for:
89778 NPE in bindThrownExceptions
89710 [compiler] local variable range is wrong.



                                                                           
             Dirk                                                          
             Baeumer/Zurich/IB                                             
             M@IBMCH                                                    To 
             Sent by:                  platform-releng-dev@xxxxxxxxxxx,    
             platform-releng-d         jdt-ui-dev@xxxxxxxxxxx              
             ev-bounces@eclips                                          cc 
             e.org                                                         
                                                                   Subject 
                                       [platform-releng-dev] JDT/UI is     
             04/01/2005 11:53          requesting a rebuild to address bug 
             AM                        89739                               
                                                                           
                                                                           
             Please respond to                                             
             "Eclipse platform                                             
                  release                                                  
                engineering                                                
                  list."                                                   
                                                                           
                                                                           




JDT/UI is requesting a rebuild at 12:00 to address bug

89739 [prefs] Default for formatter should be Tab characters, not spaces

The summary of the problem is in comment #23.

Dirk

_______________________________________________
platform-releng-dev mailing list
platform-releng-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/platform-releng-dev




Back to the top