OmegaT の背景に画像を表示します。
ペインの個別指定を、エディターについても対応
| @@ -301,7 +301,7 @@ | ||
| 301 | 301 | return true; |
| 302 | 302 | } |
| 303 | 303 | |
| 304 | - private JTextPane getTextPane(Parts pane) { | |
| 304 | + private JEditorPane getTextPane(Parts pane) { | |
| 305 | 305 | /* |
| 306 | 306 | dockable.getDockKey().getKey() |
| 307 | 307 | dockable.getComponent().class.name |
| @@ -330,19 +330,24 @@ | ||
| 330 | 330 | MULTIPLE_TRANS |
| 331 | 331 | org.omegat.gui.main.DockableScrollPane |
| 332 | 332 | org.omegat.gui.multtrans.MultipleTransPane |
| 333 | - | |
| 333 | + | |
| 334 | 334 | xxxTextArea は、基本的に全部 JEditorPane の拡張。 |
| 335 | 335 | MULTIPLE_TRANS も、同じ。 |
| 336 | 336 | EntryInfoThreadPane -> EntryInfoPane -> JTextPane -> JEditorPane という感じ。 |
| 337 | - | |
| 338 | - //@@TODOエディターも同じで扱えるのか? | |
| 337 | + EDITOR だけちょっと特殊なので、分岐処理しておく。 | |
| 339 | 338 | */ |
| 340 | - final String PANE_NAME = pane.name(); | |
| 341 | - for (DockableState d: desktop.getDockables()) { | |
| 342 | - Dockable dockable = d.getDockable(); | |
| 343 | - if (dockable.getDockKey().getKey().equalsIgnoreCase(PANE_NAME)) { | |
| 344 | - JScrollPane sp = (JScrollPane) dockable.getComponent(); | |
| 345 | - return (JTextPane) sp.getViewport().getView(); | |
| 339 | + // エディターの場合 | |
| 340 | + if (pane == Parts.EDITOR) { | |
| 341 | + return getJEditorPaneFromEditor(desktop); | |
| 342 | + } else { | |
| 343 | + // エディター以外の場合 | |
| 344 | + final String PANE_NAME = pane.name(); | |
| 345 | + for (DockableState d: desktop.getDockables()) { | |
| 346 | + Dockable dockable = d.getDockable(); | |
| 347 | + if (dockable.getDockKey().getKey().equalsIgnoreCase(PANE_NAME)) { | |
| 348 | + JScrollPane sp = (JScrollPane) dockable.getComponent(); | |
| 349 | + return (JTextPane) sp.getViewport().getView(); | |
| 350 | + } | |
| 346 | 351 | } |
| 347 | 352 | } |
| 348 | 353 | return null; |
| @@ -525,7 +530,7 @@ | ||
| 525 | 530 | private JEditorPane getJEditorPaneFromEditor(DockingDesktop desktop) { |
| 526 | 531 | for (DockableState d: desktop.getDockables()) { |
| 527 | 532 | Dockable dockable = d.getDockable(); |
| 528 | - if (dockable.getDockKey().getKey().equalsIgnoreCase("EDITOR")) { | |
| 533 | + if (dockable.getDockKey().getKey().equals(Parts.EDITOR.name())) { | |
| 529 | 534 | JScrollPane sp; |
| 530 | 535 | |
| 531 | 536 | // OmegaT 3.1.0 or later |