wzrd

commit e0663371e61c8d5ec4389a5cc8695d8cf8723134
parent fc9688dfc9075956df2a1070c390355f0c333c07
Author: deurzen <m.deurzen@tum.de>
Date:   Wed, 17 Mar 2021 03:08:32 +0100

adds cold hints

Diffstat:
M
src/core/model.rs
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/src/core/model.rs b/src/core/model.rs
@@ -3415,6 +3415,7 @@ impl<'a> Model<'a> {
         if self.conn.is_mapping_request(request) {} // TODO
     }
 
+    #[cold]
     fn handle_screen_change(&mut self) {
         debug!("SCREEN_CHANGE");
 
@@ -3422,11 +3423,13 @@ impl<'a> Model<'a> {
         self.workspaces.activate_for(&Selector::AtIndex(workspace));
     }
 
+    #[cold]
     fn handle_randr(&mut self) {
         debug!("RANDR");
         self.acquire_partitions();
     }
 
+    #[cold]
     pub fn exit(&mut self) {
         info!("exit called, shutting down window manager");