#3866 Mac OS X: set-view-title has no effect

minor bug
open
nobody
None
5
2014-05-27
2014-05-27
Makarius
No

This is jEdit5.2pre1 on Mac OS X (Mavericks) and Java 7u55.

The action set-view-title has no effect. (It is the first time I see this feature, so it is probably of little practical relevance.)

Discussion