mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-11 05:59:52 +00:00
8176450: Revise default document styling
Reviewed-by: prr, serb, mschoene
This commit is contained in:
parent
1a773b8464
commit
2ad7c43b76
@ -110,7 +110,7 @@ public class DefaultEditorKit extends EditorKit {
|
||||
* @return the command list
|
||||
*/
|
||||
public Action[] getActions() {
|
||||
return defaultActions;
|
||||
return defaultActions.clone();
|
||||
}
|
||||
|
||||
/**
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user