DrJavaAtRice / drjava

Branches for integration and releases
20 stars 28 forks source link

Doc regions #3

Closed rebeccasmith closed 8 years ago

rebeccasmith commented 8 years ago

-- Fixed ConcurrentModificationException with DocumentRegions -- Fixed bugs where "Find All" results don't update on changing the underlying document (SF bug no. 882) -- Fixed bug that causes data loss on canceling quit with unsaved files (SF bug no. 951/941) -- Fixed syntax highlighting for binary numbers and numbers with underscores (SF bug no. 916)