| <?xml version="1.0" encoding="UTF-8"?> |
| <issues format="6" by="lint 8.6.0-dev" type="baseline" client="" dependencies="true" name="" variant="all" version="8.6.0-dev"> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private static final int CLOSE_BUTTON_SIZE = JBUI.scale(24); // Icon is 16x16. This gives it some padding, so it doesn't touch the border." |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/CloseButton.java" |
| line="31" |
| column="53"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" public static final int DEFAULT_PADDING_PX = JBUI.scale(12);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/instructions/InstructionsPanel.java" |
| line="340" |
| column="55"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private static final int LEGEND_VERT_MARGIN_PX = JBUI.scale(8);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/LegendComponent.java" |
| line="61" |
| column="57"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private final static int LEGEND_HORIZ_MARGIN_PX = JBUI.scale(10);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/LegendComponent.java" |
| line="66" |
| column="58"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private static final int ICON_MARGIN_PX = JBUI.scale(6);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/LegendComponent.java" |
| line="71" |
| column="50"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private static final int DEFAULT_PADDING_X_PX = JBUI.scale(1); // Should at least be 1 to avoid borders getting clipped." |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/LegendComponent.java" |
| line="304" |
| column="58"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private static final int DEFAULT_PADDING_Y_PX = JBUI.scale(5);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/LegendComponent.java" |
| line="305" |
| column="58"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private static final float DEFAULT_TEXT_SIZE = JBUI.scale(12);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/LegendComponent.java" |
| line="306" |
| column="57"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" public static final int DEFAULT_ROW_MARGIN = JBUI.scale(5);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/instructions/NewRowInstruction.java" |
| line="27" |
| column="53"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val COMBO_LEFT_PADDING = JBUI.scale(7)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="26" |
| column="33"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val HORIZONTAL_PADDING = JBUI.scale(6)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="27" |
| column="33"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val VERTICAL_PADDING = JBUI.scale(1)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="28" |
| column="31"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val INNER_BORDER_WIDTH = JBUI.scale(1f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="29" |
| column="33"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val OUTER_BORDER_WIDTH = JBUI.scale(OUTER_BORDER_UNSCALED.toFloat())" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="30" |
| column="33"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val DROPDOWN_ARROW_WIDTH = JBUI.scale(8f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="31" |
| column="35"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val DROPDOWN_ARROW_HEIGHT = JBUI.scale(5f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="32" |
| column="36"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val DROPDOWN_ARROW_HORIZONTAL_PADDING = JBUI.scale(4f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="33" |
| column="48"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val DROPDOWN_ARROW_VERTICAL_PADDING_TOP = JBUI.scale(7f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="34" |
| column="50"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" val DROPDOWN_ARROW_VERTICAL_PADDING_BOTTOM = JBUI.scale(6f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="35" |
| column="53"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" var MENU_HEIGHT = JBUI.scale(20f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="36" |
| column="26"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" var MENU_LEFT_PADDING = JBUI.scale(6f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="37" |
| column="32"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" var MENU_RIGHT_PADDING = JBUI.scale(10f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="38" |
| column="33"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" var MENU_ICON_TEXT_GAP = JBUI.scale(4f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="39" |
| column="33"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" var MENU_CHECK_ICON_GAP = JBUI.scale(5f)" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/stdui/StandardDimensions.kt" |
| line="40" |
| column="34"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" public static final int DEFAULT_SIDE_WIDTH = JBUI.scale(225);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/workbench/ToolWindowDefinition.java" |
| line="34" |
| column="53"/> |
| </issue> |
| |
| <issue |
| id="JbUiStored" |
| message="Do not store `JBUI.scale` scaled results in fields; this will not work correctly on dynamic theme or font size changes" |
| errorLine1=" private final int BUTTON_PANEL_WIDTH = JBUI.scale(21);" |
| errorLine2=" ~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/workbench/WorkBench.java" |
| line="730" |
| column="49"/> |
| </issue> |
| |
| <issue |
| id="VisibleForTests" |
| message="This method should only be accessed from tests or within private scope" |
| errorLine1=" List<JList<T>> lists = myComponent.getLists();" |
| errorLine2=" ~~~~~~~~"> |
| <location |
| file="src/main/java/com/android/tools/adtui/treegrid/TreeGridSpeedSearch.java" |
| line="63" |
| column="40"/> |
| </issue> |
| |
| </issues> |
