--- a/src/Tools/jEdit/src/syntax_style.scala Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Tools/jEdit/src/syntax_style.scala Mon Mar 01 22:22:12 2021 +0100
@@ -23,7 +23,8 @@
/* extended syntax styles */
private val plain_range: Int = JEditToken.ID_COUNT
- private def check_range(i: Int) { require(0 <= i && i < plain_range, "bad syntax style range") }
+ private def check_range(i: Int): Unit =
+ require(0 <= i && i < plain_range, "bad syntax style range")
def subscript(i: Byte): Byte = { check_range(i); (i + plain_range).toByte }
def superscript(i: Byte): Byte = { check_range(i); (i + 2 * plain_range).toByte }
@@ -107,7 +108,7 @@
def extended(text: CharSequence): Map[Text.Offset, Byte => Byte] =
{
var result = Map[Text.Offset, Byte => Byte]()
- def mark(start: Text.Offset, stop: Text.Offset, style: Byte => Byte)
+ def mark(start: Text.Offset, stop: Text.Offset, style: Byte => Byte): Unit =
{
for (i <- start until stop) result += (i -> style)
}
@@ -148,7 +149,7 @@
/* editing support for control symbols */
- def edit_control_style(text_area: TextArea, control_sym: String)
+ def edit_control_style(text_area: TextArea, control_sym: String): Unit =
{
GUI_Thread.assert {}