# What's New in jEdit 4.2

# User-Visible Changes

# Removed Features

# Plugin Manager

# User Interface

# Text Editing

# Rectangular Editing

# Syntax Highlighting

# Search and Replace

# File Management

# Handling of Multiple Encodings

# File System Browser

# Bundled Macros

# API Changes

# BeanShell

# Dynamic Plugin Loading

# EditPlugin Class Changes

# Actions

# Dockable Windows

# Services

# Virtual File Systems

# Text Area Extensions

# Syntax Highlighting

# Text Area and Folding

# Miscellaneous API Changes