diff options
| author | DS <vorunbekannt75@web.de> | 2020-04-13 10:50:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-13 10:50:07 +0200 |
| commit | 0ac999ded725f8efcd26db284161683e37efeecf (patch) | |
| tree | 24dfe208152ffa5f28d912d1de8e65c13c3704d6 /build/android | |
| parent | 6cf15cf872cc9ce76990d83d380ca3c4b7485eb1 (diff) | |
| download | minetest-0ac999ded725f8efcd26db284161683e37efeecf.tar.gz minetest-0ac999ded725f8efcd26db284161683e37efeecf.tar.bz2 minetest-0ac999ded725f8efcd26db284161683e37efeecf.zip | |
Add scroll_container formspec element (redo) (#9101)
New formspec elements:
- `scroll_container[<X>,<Y>;<W>,<H>;<scrollbar name>;<orientation>;<scroll factor>]`
- `scroll_container_end[]`
Other elements can be embedded in this element. Scrollbar must be placed manually.
Diffstat (limited to 'build/android')
| -rw-r--r-- | build/android/jni/Android.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/android/jni/Android.mk b/build/android/jni/Android.mk index fdbfba9bc..b67322d79 100644 --- a/build/android/jni/Android.mk +++ b/build/android/jni/Android.mk @@ -194,6 +194,7 @@ LOCAL_SRC_FILES := \ jni/src/gui/guiPasswordChange.cpp \ jni/src/gui/guiPathSelectMenu.cpp \ jni/src/gui/guiScrollBar.cpp \ + jni/src/gui/guiScrollContainer.cpp \ jni/src/gui/guiSkin.cpp \ jni/src/gui/guiTable.cpp \ jni/src/gui/guiVolumeChange.cpp \ |