void () { super.updateContextHints(); myFocusTrackerSupport.updateContextHints(myRequest, myContext); float proportion = myContentPanel.getSplitter().getProportion(); myContext.putUserData(DiffUserDataKeysEx.TWO_SIDE_SPLITTER_PROPORTION, proportion); }