Changeset 802
- Timestamp:
- 01/31/14 17:00:45 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/items/widgets/JfxBrowser.java
r801 r802 145 145 Button backButton = new Button("Back"); 146 146 backButton.setMinWidth(Button.USE_PREF_SIZE); 147 backButton.setFocusTraversable(false); 147 148 Button forwardButton = new Button("Forward"); 148 149 forwardButton.setMinWidth(Button.USE_PREF_SIZE); 150 forwardButton.setFocusTraversable(false); 149 151 this._urlField = new TextField(url); 150 152 this._urlField.setMinWidth(0); 151 153 this._urlField.setMaxWidth(Double.MAX_VALUE); 154 this._urlField.setFocusTraversable(false); 152 155 Button convertButton = new Button("Convert"); 153 156 convertButton.setMinWidth(Button.USE_PREF_SIZE); 157 convertButton.setFocusTraversable(false); 154 158 Button convertButtonNew = new Button("Convert (New Method)"); 155 159 convertButtonNew.setMinWidth(Button.USE_PREF_SIZE); 160 convertButtonNew.setFocusTraversable(false); 156 161 157 162 horizontal.getChildren().addAll(backButton, forwardButton, this._urlField, convertButton, convertButtonNew); … … 236 241 @Override 237 242 public void handle(MouseEvent e) { 243 // make sure we have focus if the mouse is moving over us 244 if(!JfxBrowser.this._urlField.isFocused()) { 245 JfxBrowser.this._urlField.requestFocus(); 246 } 238 247 // Checking if the user has been typing - if so, move the cursor to the caret position 239 248 if (DisplayIO.getCursor() == Item.HIDDEN_CURSOR) { … … 246 255 } 247 256 } 257 }); 258 259 this._urlField.setOnMouseEntered(new EventHandler<MouseEvent>() { 260 @Override 261 public void handle(MouseEvent arg0) { 262 JfxBrowser.this._urlField.requestFocus(); 263 } 264 }); 265 266 this._urlField.setOnMouseExited(new EventHandler<MouseEvent>() { 267 @Override 268 public void handle(MouseEvent arg0) { 269 JfxBrowser.this._webView.requestFocus(); 270 } 248 271 }); 249 272
Note:
See TracChangeset
for help on using the changeset viewer.