Skip to main content

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

JDT Text will also contribute to the rebuild: we will remove the following
deprecated API classes that have been marked for removal for M6:

      org.eclipse.jdt.ui.text.java.JavaCompletionProposalComparator (=>
CompletionProposalComparator)
      org.eclipse.jdt.ui.text.java.ProposalLabelProvider (=>
CompletionProposalLabelProvider)
      org.eclipse.jdt.ui.text.java.ResultCollector (=>
CompletionProposalCollector)

Dani


                                                                           
             Dirk                                                          
             Baeumer/Zurich/IB                                             
             M@IBMCH                                                    To 
             Sent by:                  platform-releng-dev@xxxxxxxxxxx,    
             jdt-ui-dev-bounce         jdt-ui-dev@xxxxxxxxxxx              
             s@xxxxxxxxxxx                                              cc 
                                                                           
                                                                   Subject 
             01.04.2005 11:53          [jdt-ui-dev] JDT/UI is requesting a 
                                       rebuild to address bug 89739        
                                                                           
             Please respond to                                             
              "Eclipse JDT UI                                              
             developers list."                                             
             <jdt-ui-dev@eclip                                             
                  se.org>                                                  
                                                                           
                                                                           




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

_______________________________________________
jdt-ui-dev mailing list
jdt-ui-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev




Back to the top