Merge commit '77d3a60869e7a780c6ae069e51530e1eacece5e2'
[nikiroo-utils.git] / src / jexer / menu / TMenuSeparator.java
index 9a9fcfc81a0e39143d64481aeba57b3c0d9cc009..0528e5d73207cd8d8cd5abcca72c167b6c757149 100644 (file)
@@ -3,7 +3,7 @@
  *
  * The MIT License (MIT)
  *
- * Copyright (C) 2017 Kevin Lamonte
+ * Copyright (C) 2019 Kevin Lamonte
  *
  * Permission is hereby granted, free of charge, to any person obtaining a
  * copy of this software and associated documentation files (the "Software"),
@@ -34,7 +34,11 @@ import jexer.bits.GraphicsChars;
 /**
  * TMenuSeparator is a special case menu item.
  */
-public final class TMenuSeparator extends TMenuItem {
+public class TMenuSeparator extends TMenuItem {
+
+    // ------------------------------------------------------------------------
+    // Constructors -----------------------------------------------------------
+    // ------------------------------------------------------------------------
 
     /**
      * Package private constructor.
@@ -50,6 +54,10 @@ public final class TMenuSeparator extends TMenuItem {
         setWidth(parent.getWidth() - 2);
     }
 
+    // ------------------------------------------------------------------------
+    // TMenuItem --------------------------------------------------------------
+    // ------------------------------------------------------------------------
+
     /**
      * Draw a menu separator.
      */
@@ -57,11 +65,9 @@ public final class TMenuSeparator extends TMenuItem {
     public void draw() {
         CellAttributes background = getTheme().getColor("tmenu");
 
-        getScreen().putCharXY(0, 0, GraphicsChars.CP437[0xC3], background);
-        getScreen().putCharXY(getWidth() - 1, 0, GraphicsChars.CP437[0xB4],
-            background);
-        getScreen().hLineXY(1, 0, getWidth() - 2, GraphicsChars.SINGLE_BAR,
-            background);
+        putCharXY(0, 0, GraphicsChars.CP437[0xC3], background);
+        putCharXY(getWidth() - 1, 0, GraphicsChars.CP437[0xB4], background);
+        hLineXY(1, 0, getWidth() - 2, GraphicsChars.SINGLE_BAR, background);
     }
 
 }