org.fife.ui.rtextarea.RTextScrollPane.setRowHeaderView()方法的使用及代码示例

x33g5p2x  于2022-01-29 转载在 其他  
字(1.8k)|赞(0)|评价(0)|浏览(50)

本文整理了Java中org.fife.ui.rtextarea.RTextScrollPane.setRowHeaderView方法的一些代码示例,展示了RTextScrollPane.setRowHeaderView的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。RTextScrollPane.setRowHeaderView方法的具体详情如下:
包路径:org.fife.ui.rtextarea.RTextScrollPane
类名称:RTextScrollPane
方法名:setRowHeaderView

RTextScrollPane.setRowHeaderView介绍

暂无

代码示例

代码示例来源:origin: bobbylight/RSyntaxTextArea

/**
 * Ensures the gutter is visible if it's showing anything.
 */
private void checkGutterVisibility() {
  int count = gutter.getComponentCount();
  if (count==0) {
    if (getRowHeader()!=null && getRowHeader().getView()==gutter) {
      setRowHeaderView(null);
    }
  }
  else {
    if (getRowHeader()==null || getRowHeader().getView()==null) {
      setRowHeaderView(gutter);
    }
  }
}

代码示例来源:origin: com.fifesoft/rsyntaxtextarea

/**
 * Ensures the gutter is visible if it's showing anything.
 */
private void checkGutterVisibility() {
  int count = gutter.getComponentCount();
  if (count==0) {
    if (getRowHeader()!=null && getRowHeader().getView()==gutter) {
      setRowHeaderView(null);
    }
  }
  else {
    if (getRowHeader()==null || getRowHeader().getView()==null) {
      setRowHeaderView(gutter);
    }
  }
}

代码示例来源:origin: org.nuiton.thirdparty/rsyntaxtextarea

/**
 * Ensures the gutter is visible if it's showing anything.
 */
private void checkGutterVisibility() {
  int count = gutter.getComponentCount();
  if (count==0) {
    if (getRowHeader()!=null && getRowHeader().getView()==gutter) {
      setRowHeaderView(null);
    }
  }
  else {
    if (getRowHeader()==null || getRowHeader().getView()==null) {
      setRowHeaderView(gutter);
    }
  }
}

代码示例来源:origin: org.codehaus.jtstand/jtstand-editor

/**
 * Ensures the gutter is visible if it's showing anything.
 */
private void checkGutterVisibility() {
  int count = gutter.getComponentCount();
  if (count==0) {
    if (getRowHeader()!=null && getRowHeader().getView()==gutter) {
      setRowHeaderView(null);
    }
  }
  else {
    if (getRowHeader()==null || getRowHeader().getView()==null) {
      setRowHeaderView(gutter);
    }
  }
}

相关文章