Создайте UserControl, который имеет RichTextBox.. Теперь добавьте следующее свойство зависимости:
public FlowDocument Document
{
get { return (FlowDocument)GetValue(DocumentProperty); }
set { SetValue(DocumentProperty, value); }
}
public static readonly DependencyProperty DocumentProperty =
DependencyProperty.Register("Document", typeof(FlowDocument), typeof(RichTextBoxControl), new PropertyMetadata(OnDocumentChanged));
private static void OnDocumentChanged(DependencyObject d, DependencyPropertyChangedEventArgs e)
{
RichTextBoxControl control = (RichTextBoxControl) d;
if (e.NewValue == null)
control.RTB.Document = new FlowDocument(); //Document is not amused by null :)
control.RTB.Document = document;
}
Это решение состоит, вероятно в том, что решение "прокси" Вы видели где-нибудь.. Однако.. RichTextBox просто не имеет Документа как DependencyProperty... Таким образом, необходимо сделать это в другом отношении...
HTH
Переменная среды JAVA_OPTS используется для указания параметров, передаваемых команде java. Подробности см. На странице руководства Scala .
Основываясь на предложении Джо, я посмотрел на программу scala, которая представляет собой сценарий Bash, который вызывает java с различными аргументами, специфичными для Scala. Он позволяет передавать в Java дополнительные аргументы командной строки через переменную среды JAVA_OPTS. Таким образом, вы можете увеличить размер кучи следующим образом:
JAVA_OPTS="-Xmx2g" scala classname arguments...
В качестве хака вы можете отредактировать Файл scala / bin / scala
для редактирования параметров команды java
. Не очень красиво.