26 Jan 2023 |
pj | https://xi-editor.io/docs/rope_science_00.html | 17:43:44 |
akarin | but yea, im browsing through the xi-rope and its like baffling so far | 17:43:46 |
| Gabz_Claypool joined the room. | 22:26:15 |
akarin | there seems to be a dumb clippy suggestion every release -___- https://github.com/rust-lang/rust-clippy/issues/10087 | 23:59:10 |
27 Jan 2023 |
| YourFakeSmile#4639 changed their profile picture. | 12:38:53 |
akarin | I feel like Widget<T>::update is unused. I think plenty of widgets could be improved by simply moving some allocations that happen in paint to this instead. | 14:52:03 |
akarin | but I am not sure if druid's replacement will have this equivalent so idk if its worth it | 14:53:01 |
pj | what are you changing in settings | 14:53:49 |
akarin | 1. Adding a new plugin page for general plugin settings 2. some UI tweaks to display which plugin is chosen 3. some cleanups of the data structure (remove unnecessary Option<#>, some bool, dont allocate at every paint) its all in the MR it was originally supposed to be for #470 but i added more stuff into it lol | 14:55:28 |
akarin | * 1. Adding a new plugin page for general plugin settings (for now its just auto-check but i can imagine something like stdio of plugins or things like that) 2. some UI tweaks to display which plugin is chosen 3. some cleanups of the data structure (remove unnecessary Option<#>, some bool, dont allocate at every paint) its all in the MR it was originally supposed to be for #470 but i added more stuff into it lol | 14:56:02 |
pj | I know it's all in the MR because I don't know what the MR does | 14:57:40 |
akarin |  Download Screenshot_from_2023-01-27_22-44-46.png | 14:59:30 |
akarin | it was originally meant to add this option here but the plugin page was never there, so all these other changes is there to support this new page | 14:59:30 |
pj | I dont think it should be there | 14:59:47 |
Lapce#1906 | panekj
- [ ] Added an entry to CHANGELOG.md if this change could be valuable to users... Created at <t:1672592591:R> | 15:00:43 |
akarin | meh if you think so then i would rather just close the PR, it was an excuse to add that page since i think its going to be useful | 15:02:38 |
akarin | the auto updater only runs every hour so its prolly not worth fussing about it | 15:04:08 |
pj | I don't like it because now we can't collapse plugin section and the active plugin row looks weird comparing to active settings section | 15:08:56 |
pj | interesting that we allow to hide panel but not the sidebar | 15:11:16 |
akarin | there's a certain charm to the jank UI 😂 i kinda like it | 15:15:00 |
| Fil joined the room. | 19:52:00 |
| Trubicoid joined the room. | 20:19:35 |
pj | MinusGix how do I make dropdown | 21:02:18 |
| Captain joined the room. | 21:23:18 |
pj | something is broken with the files still | 21:35:14 |
pj | doesn't open first time, can't save | 21:35:16 |
pj | Redacted or Malformed Event | 21:35:41 |
28 Jan 2023 |
| imjakey joined the room. | 02:32:07 |
| carvajalluis joined the room. | 02:45:32 |
| arafat877 joined the room. | 03:17:24 |