どうすれば次の作業を行うことができますか?
class Foo extends javax.swing.undo.UndoManager {
// increase visibility - works for method
override def editToBeUndone: javax.swing.undo.UndoableEdit = super.editToBeUndone
// fails for field
def edits: java.util.Vector[javax.swing.undo.UndoableEdit] = super.edits
}
は(のスーパークラス)edits
の保護されたフィールドであることに注意してください。そのフィールドを読み取る同じ名前のパブリックアクセサーが欲しいのですが。どうすればいいですか?CompoundEdit
UndoManager
<console>:8: error: super may be not be used on variable edits
def edits: java.util.Vector[javax.swing.undo.UndoableEdit] = super.edits
^