< > BotCompany Repo | #1025937 // philosophyBot_autoOpenTheoriesHandler

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (7669L/51K).

// example use:
//   auto open theories

svoid philosophyBot_autoOpenTheoriesHandler(PhilosophyBot1 bot) {
  bot.addFactPreprocessor(s -> {
    if (bot.matchString("auto open theories", s) == null) false;
    bot.autoOpenTheories();
    true;
  });
}

Author comment

Began life as a copy of #1025793

download  show line numbers  debug dex  old transpilations   

Travelled to 6 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt

No comments. add comment