Commits on Jan 30, 2024

1. Add support for deleting variables …

   This is mildly cursed because it will reload the database upon deletion. For two
   reasons:
   - There are lingering bugs surrounding moving columns after changing the number
     of variables, and I don't want to deal with that right now.
   - Laziness
   
   My justification is that deleting a variable is something that will (hopefully)
   occur rarely, and occur when writing the context file for the first time while
   the database is likely to be empty-ish.

   

   JamesWrigley committed Jan 30, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 7b38c13
   • Browse repository at this point

   Copy the full SHA

   7b38c13 View commit details

   Browse the repository at this point in the history