Browse Source

PropertyLoader: Load .margin as insets

pull/336/head
Jannis Weis 2 years ago
parent
commit
39a108a6f2
No known key found for this signature in database
GPG Key ID: 7C9D8D4B558049AB
  1. 4
      property-loader/src/main/java/com/github/weisj/darklaf/properties/parser/InsetParser.java

4
property-loader/src/main/java/com/github/weisj/darklaf/properties/parser/InsetParser.java

@ -1,7 +1,7 @@
/* /*
* MIT License * MIT License
* *
* Copyright (c) 2019-2021 Jannis Weis * Copyright (c) 2019-2023 Jannis Weis
* *
* Permission is hereby granted, free of charge, to any person obtaining a copy of this software and * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
* associated documentation files (the "Software"), to deal in the Software without restriction, * associated documentation files (the "Software"), to deal in the Software without restriction,
@ -27,7 +27,7 @@ import javax.swing.plaf.InsetsUIResource;
public class InsetParser extends KeyFilteredParser implements Delimiters { public class InsetParser extends KeyFilteredParser implements Delimiters {
public InsetParser() { public InsetParser() {
super("Insets", ".insets", ".margins"); super("Insets", ".insets", ".margins", ".margin");
} }
@Override @Override

Loading…
Cancel
Save