[jdt-ui-dev] list of fixed PRs

["Kai-Uwe Maetzel/ZRH/OTI" <Kai-Uwe_Maetzel@xxxxxxx>]

#5804     Bug in ClassFileEditor.getCorrespondingElement
#5597     Method signature hover help box is too short
#5469     Pink squares around brackets are less than optimal
#5412     bracket matching: should have a way to disable it
#5486     Incorrect bracket highlighting
#4175     Rendering Java Keywords in bold should be an option (1GJMHG8)
#4267     Bolding should be configurable (1GKTYTO)
#5236     Preference to disable auto code assist
# 5172    DCR need to be able to turn off bold keywords
#4982     Automatic code assist must be configurable
#3659     code assist should complete if only one choice (1GDONQA)
#3480     CodeAssist - results should be sorted alphabetically (1FW31TZ)
#4933     I don't like pink
#5932     Hoverhelp over errors in java editor is inconsistent