2018-06-22 12:09:35 +01:00
|
|
|
import QtQuick 2.4
|
|
|
|
import FlightGear.Launcher 1.0
|
|
|
|
import "."
|
|
|
|
|
|
|
|
|
|
|
|
Item {
|
|
|
|
|
|
|
|
Flickable {
|
|
|
|
id: flick
|
|
|
|
anchors {
|
|
|
|
left: parent.left
|
|
|
|
right: scrollbar.right
|
|
|
|
top: parent.top
|
|
|
|
bottom: parent.bottom
|
|
|
|
margins: Style.margin
|
|
|
|
}
|
|
|
|
|
|
|
|
contentHeight: contents.implicitHeight
|
|
|
|
|
|
|
|
TextEdit {
|
|
|
|
id: contents
|
|
|
|
width: parent.width
|
|
|
|
selectByMouse: true
|
|
|
|
|
|
|
|
textFormat: TextEdit.RichText
|
|
|
|
readOnly: true
|
|
|
|
|
|
|
|
wrapMode: TextEdit.Wrap
|
2018-06-27 16:46:22 +01:00
|
|
|
font.pixelSize: Style.baseFontPixelSize
|
|
|
|
color: Style.baseTextColor
|
2018-06-22 12:09:35 +01:00
|
|
|
|
|
|
|
text: _config.htmlForCommandLine();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Scrollbar {
|
|
|
|
id: scrollbar
|
|
|
|
anchors.right: parent.right
|
|
|
|
height: flick.height
|
|
|
|
flickable: flick
|
|
|
|
visible: flick.contentHeight > flick.height
|
|
|
|
}
|
|
|
|
}
|