JniTrRny 23f1d24c45 Search bar for wave UI (#8501) ...

* wave search + other editor things

* everything but wave search

2023-05-07 10:42:45 -04:00

..

DrawOperation.java

Partial 7.0 merge - API preview

2021-06-02 11:08:08 -04:00

EditorTile.java

crash fix?

2022-05-08 13:57:52 -04:00

EditorTool.java

Optimized imports

2023-04-06 10:46:52 -04:00

MapEditor.java

Map resize dialog shift options

2022-06-23 17:10:44 -04:00

MapEditorDialog.java

Search bar for wave UI (#8501)

2023-05-07 10:42:45 -04:00

MapGenerateDialog.java

generation UI fix + other miniscule ui fix (#7117)

2022-07-03 13:54:30 -04:00

MapInfoDialog.java

Tree-like objective node structure (#7152)

2022-07-15 10:41:18 -04:00

MapLoadDialog.java

Search bar for wave UI (#8501)

2023-05-07 10:42:45 -04:00

MapObjectivesCanvas.java

Fixed #8131

2023-01-08 10:24:55 -05:00

MapObjectivesDialog.java

Fixed objectives disappearing for no reason

2023-04-08 21:55:20 -04:00

MapRenderer.java

Support of mods with textures in different resolution (HD or low-res) (#7602)

2022-09-23 16:21:53 -04:00

MapResizeDialog.java

Fixed map shift field limiting to 3 characters

2022-10-15 16:30:47 -04:00

MapView.java

4x4 map grid (#6929)

2022-06-09 12:38:19 -04:00

OperationStack.java

Cleanup

2020-10-02 19:51:30 -04:00

SectorGenerateDialog.java

Fixed #7143

2022-07-07 11:09:01 -04:00

WaveGraph.java

WIP style refactoring

2022-05-04 20:24:59 -04:00

WaveInfoDialog.java

Search bar for wave UI (#8501)

2023-05-07 10:42:45 -04:00