MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 14:23:28 +07:00
Code Issues Packages Projects Releases Wiki Activity

fix CalendarGridPanel visibility

Browse Source 
GitOrigin-RevId: 72b9b39ecbaa217426bcab36caabbc34af6e4919
This commit is contained in:
Vladimir Krivosheev
2025-02-14 16:10:17 +01:00
committed by intellij-monorepo-bot
parent 2c217d2da1
commit 08a1ec5ab4
2 changed files with 2 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
grid/impl/src/run/ui/grid/editors/DefaultDateEditorFactory.java
View File

@@ -31,7 +31,7 @@ import java.util.Objects;
import static com.intellij.database.extractors.FormatterCreator.getDateKey;
public class DefaultDateEditorFactory extends DefaultTemporalEditorFactory {
public final class DefaultDateEditorFactory extends DefaultTemporalEditorFactory {
private static final Logger LOG = Logger.getInstance(DefaultDateEditorFactory.class);
@Override

16
libraries/microba/src/com/michaelbaranov/microba/calendar/ui/basic/CalendarGridPanel.java
View File

@@ -15,7 +15,7 @@ import java.beans.PropertyChangeEvent;
import java.beans.PropertyChangeListener;
import java.util.*;
class CalendarGridPanel extends JPanel implements FocusListener,
public final class CalendarGridPanel extends JPanel implements FocusListener,
PolicyListener, PropertyChangeListener, MouseListener, KeyListener {
public static final String PROPERTY_NAME_DATE = "date";
@@ -194,16 +194,6 @@ class CalendarGridPanel extends JPanel implements FocusListener,
}
private void setSelectedByIndex(int i) {
DateLabel label = labels[i];
if (label.isVisible()) {
int day = Integer.parseInt(label.getText());
Calendar c = getCalendar(baseDate);
c.set(Calendar.DAY_OF_MONTH, day);
setDate(c.getTime());
}
}
private Calendar getCalendar(Date date) {
Calendar c = Calendar.getInstance(zone, locale);
c.setTime(date);
@@ -605,10 +595,6 @@ class CalendarGridPanel extends JPanel implements FocusListener,
reflectData();
}
private Date getFocusDate() {
return focusDate;
}
private void setFocusDate(Date focusDate) {
this.focusDate = focusDate;
explicitDateSetToNullFlag = false;