mirror of
https://github.com/GraphiteEditor/Graphite.git
synced 2026-09-30 17:18:13 +08:00
Fix the Brush tool being accessible while disabled in preferences
This commit is contained in:
@@ -1,5 +1,5 @@
|
||||
mod preferences_message;
|
||||
mod preferences_message_handler;
|
||||
pub mod preferences_message_handler;
|
||||
pub mod utility_types;
|
||||
|
||||
#[doc(inline)]
|
||||
|
||||
Reference in New Issue
Block a user