mirror of
https://github.com/mapmapteam/mapmap.git
synced 2026-06-16 12:33:19 +02:00
Fixed issue Adjust position of vertices using arrow keys not working on output display #77
This commit is contained in:
@@ -358,6 +358,7 @@ public:
|
||||
Mapper::ptr getMapperByMappingId(uint id) { return mappers[id]; }
|
||||
uid getCurrentPaintId() const { return currentPaintId; }
|
||||
uid getCurrentMappingId() const { return currentMappingId; }
|
||||
OutputGLWindow* getOutputWindow() const { return outputWindow; }
|
||||
bool hasCurrentPaint() const { return _hasCurrentPaint; }
|
||||
bool hasCurrentMapping() const { return _hasCurrentMapping; }
|
||||
void setCurrentPaint(int uid);
|
||||
|
||||
Reference in New Issue
Block a user