| Author | DaveJarvis <email> |
|---|---|
| Date | 2020-10-28 20:50:16 GMT-0700 |
| Commit | c7993f021e0b664db0d873c75c7bc012a518aa31 |
| Parent | 082c9ce |
| Delta | 7 lines added, 3 lines removed, 4-line increase |
| # File and Path References | ||
| # ######################################################################## | ||
| -file.stylesheet.scene=${application.package}/scene.css | ||
| +file.stylesheet.dock=com/keenwrite/dock/dock.css | ||
| file.stylesheet.markdown=${application.package}/editor/markdown.css | ||
| file.stylesheet.preview=webview.css | ||
| +file.stylesheet.scene=${application.package}/scene.css | ||
| file.stylesheet.xml=${application.package}/xml.css | ||
| package com.keenwrite; | ||
| +import com.keenwrite.dock.control.DetachableTabPane; | ||
| import com.keenwrite.service.Options; | ||
| import com.keenwrite.service.Settings; | ||
| * Tab pane for file editors. | ||
| */ | ||
| -public final class FileEditorTabPane extends TabPane { | ||
| +public final class FileEditorTabPane extends DetachableTabPane { | ||
| private static final String FILTER_EXTENSION_TITLES = | ||
| private void initLayout() { | ||
| final var scene = getScene(); | ||
| + final var stylesheets = scene.getStylesheets(); | ||
| - scene.getStylesheets().add( STYLESHEET_SCENE ); | ||
| + stylesheets.add( STYLESHEET_DOCK ); | ||
| + stylesheets.add( STYLESHEET_SCENE ); | ||
| scene.windowProperty().addListener( | ||
| ( unused, oldWindow, newWindow ) -> |