!dwcjjfdaBLxbfGvvlO:matrix.org

Lapce #dev

2388 Members
A room bridged with Lapce Discord server's #dev channel18 Servers

Load older messages


SenderMessageTime
26 Jan 2023
@_discord_854834852803903488:t2bot.iopj https://xi-editor.io/docs/rope_science_00.html 17:43:44
@_discord_227090611591708682:t2bot.ioakarin but yea, im browsing through the xi-rope and its like baffling so far 17:43:46
@_discord_946933792264847400:t2bot.ioGabz_Claypool joined the room.22:26:15
@_discord_227090611591708682:t2bot.ioakarin 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
@_discord_937882830732656650:t2bot.ioYourFakeSmile#4639 changed their profile picture.12:38:53
@_discord_227090611591708682:t2bot.ioakarin 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
@_discord_227090611591708682:t2bot.ioakarin but I am not sure if druid's replacement will have this equivalent so idk if its worth it 14:53:01
@_discord_854834852803903488:t2bot.iopj what are you changing in settings 14:53:49
@_discord_227090611591708682:t2bot.ioakarin 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
@_discord_227090611591708682:t2bot.ioakarin * 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
@_discord_854834852803903488:t2bot.iopj I know it's all in the MR because I don't know what the MR does 14:57:40
@_discord_227090611591708682:t2bot.ioakarinScreenshot_from_2023-01-27_22-44-46.png
Download Screenshot_from_2023-01-27_22-44-46.png
14:59:30
@_discord_227090611591708682:t2bot.ioakarin 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
@_discord_854834852803903488:t2bot.iopj I dont think it should be there 14:59:47
@_discord_1031154236664332299_=4capce:t2bot.ioLapce#1906
fix: use strum, move ThemeKind to lapce-data
panekj

- [ ] Added an entry to CHANGELOG.md if this change could be valuable to users...

Created at
<t:1672592591:R>

15:00:43
@_discord_227090611591708682:t2bot.ioakarin 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
@_discord_227090611591708682:t2bot.ioakarin the auto updater only runs every hour so its prolly not worth fussing about it 15:04:08
@_discord_854834852803903488:t2bot.iopj 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
@_discord_854834852803903488:t2bot.iopj interesting that we allow to hide panel but not the sidebar 15:11:16
@_discord_227090611591708682:t2bot.ioakarin there's a certain charm to the jank UI 😂 i kinda like it 15:15:00
@_discord_631300176853598208:t2bot.ioFil joined the room.19:52:00
@_discord_391596131274194955:t2bot.ioTrubicoid joined the room.20:19:35
@_discord_854834852803903488:t2bot.iopj MinusGix how do I make dropdown 21:02:18
@_discord_87632848097390592:t2bot.ioCaptain joined the room.21:23:18
@_discord_854834852803903488:t2bot.iopj something is broken with the files still 21:35:14
@_discord_854834852803903488:t2bot.iopj doesn't open first time, can't save 21:35:16
@_discord_854834852803903488:t2bot.iopjRedacted or Malformed Event21:35:41
28 Jan 2023
@_discord_1068718519816040568:t2bot.ioimjakey joined the room.02:32:07
@_discord_381213994955964426:t2bot.iocarvajalluis joined the room.02:45:32
@_discord_853035437613908000:t2bot.ioarafat877 joined the room.03:17:24

There are no newer messages yet.


Back to Room List