jdk/src/share/classes/com/sun/java/swing/plaf/windows/WindowsTextUI.java
changeset 21278 ef8a3a2a72f2
parent 5506 202f599c92aa
child 23010 6dadb192ad81
equal deleted inserted replaced
21277:bd380b80f9ea 21278:ef8a3a2a72f2
   160          * @param offs1 the ending model offset >= offs1
   160          * @param offs1 the ending model offset >= offs1
   161          * @param bounds the bounding box of the view, which is not
   161          * @param bounds the bounding box of the view, which is not
   162          *        necessarily the region to paint.
   162          *        necessarily the region to paint.
   163          * @param c the editor
   163          * @param c the editor
   164          * @param view View painting for
   164          * @param view View painting for
   165          * @return region drawing occured in
   165          * @return region drawing occurred in
   166          */
   166          */
   167         public Shape paintLayer(Graphics g, int offs0, int offs1,
   167         public Shape paintLayer(Graphics g, int offs0, int offs1,
   168                                 Shape bounds, JTextComponent c, View view) {
   168                                 Shape bounds, JTextComponent c, View view) {
   169             Color color = getColor();
   169             Color color = getColor();
   170 
   170