MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

notnull

Browse Source 
GitOrigin-RevId: 3e9f444a08027f094aefdbf7d991afdfc137b63e
This commit is contained in:
Alexey Kudravtsev
2023-08-17 19:19:26 +00:00
committed by intellij-monorepo-bot
parent 9af05d72a0
commit 4355ee6a0b
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/awt/annotations.xml
+4 -1
View File
@@ -203,7 +203,10 @@
<val name="flags" val="{java.awt.Font.PLAIN, java.awt.Font.BOLD, java.awt.Font.ITALIC}" />
</annotation>
</item>
<item name='java.awt.FontMetrics int stringWidth(java.lang.String) 0'>
<item name='java.awt.Font java.lang.String getFamily(java.util.Locale) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.awt.FontMetrics int stringWidth(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.awt.Graphics void drawString(java.lang.String, int, int) 0'>